3 Commits

Author SHA1 Message Date
1a52fb754d AppMenuButton: Remove badge for when git remote not configured
I cannot seem to get it to look nice with this new version of Badges and
now I'm reconsidering if it should be shown at all. The user doesn't
**need** to setup the git repo. This app can be used without it
perfectly fine.
2020-05-01 11:04:21 +02:00
3a3ec76529 StateContainer: Use Provider
This way we can avoid listening for changes in many places.
2020-02-11 19:10:34 +01:00
f86a878a9c Split AppBar Menu button into its own widget
Saves us the need to the GlobalKey as well.
2019-12-03 22:35:23 +01:00