c9fce2fa33
RepoManager: Implement deleting a repo
...
This is ugly as fuck. All of the settings pages need a more coherent
look and feel, and need to be organized better.
This finished the implementation of multiple repos.
Fixes #229
2021-02-23 09:54:39 +01:00
b5d5705f82
Hookup the Repository Manager to the AppDrawer
...
This makes multi repo support somewhat work. We still have some problems
with the old state not being clearer which I cannot seem to figure out.
2021-02-19 09:53:30 +01:00
95beb30478
RepositoryInfo: Forget about the icon
...
It'll require an icon choosing interface. Lets skip it for now
2021-02-17 10:37:25 +01:00
130f2fe9a0
Rename Repository => GitJournalRepo
...
Repository is too vague of a word and it gets me confused with the Git
Repository. Also shorterned Repository to Repo. It's easier to read and
write.
2021-02-15 22:28:53 +01:00
61f71fcdfe
RepositoryInfo: Add serialization
2021-02-12 15:39:08 +01:00
99c36f32f5
Make Repository a consumer of RepoManager
...
I feel like I really don't understand Provider properly and this is
going to blow up in my face.
2021-02-05 09:42:51 +01:00
96ce50bc68
Basic Implementation of RepoManager
...
This is for multiple-repo setup.
2021-02-04 10:27:29 +01:00
