From 41cafa4b4da4e076f8bf192fc599c9eb35749aa2 Mon Sep 17 00:00:00 2001 From: Jente Hidskes Date: Wed, 9 Jan 2019 11:59:28 +0100 Subject: [PATCH] Replace appmenu with window-local menu There's an initiave in GNOME to replace app menus with "in-window" menus: https://gitlab.gnome.org/GNOME/Initiatives/issues/4 This commit brings Piper in line with this new approach. Fixes #267. --- data/piper.gresource.xml | 2 -- data/ui/Menus.ui | 17 ----------------- data/ui/Window.ui | 6 ++++++ piper/window.py | 14 ++++++++++++++ 4 files changed, 20 insertions(+), 19 deletions(-) delete mode 100644 data/ui/Menus.ui diff --git a/data/piper.gresource.xml b/data/piper.gresource.xml index 35f76ca..b0c7d08 100644 --- a/data/piper.gresource.xml +++ b/data/piper.gresource.xml @@ -18,7 +18,5 @@ ui/ResolutionsPage.ui ui/WelcomePerspective.ui ui/Window.ui - - ui/Menus.ui diff --git a/data/ui/Menus.ui b/data/ui/Menus.ui deleted file mode 100644 index 78e1690..0000000 --- a/data/ui/Menus.ui +++ /dev/null @@ -1,17 +0,0 @@ - - - -
- - app.about - _About - - - app.quit - _Quit - <Primary>q - -
-
-
- diff --git a/data/ui/Window.ui b/data/ui/Window.ui index a29846b..d07b081 100644 --- a/data/ui/Window.ui +++ b/data/ui/Window.ui @@ -2,6 +2,12 @@ + + + app.about + _About Piper + +