remove option to show appmenu

appmenu has been removed with gnome 45
This commit is contained in:
Philipp Unger
2023-08-20 23:33:03 +02:00
parent 0418059f61
commit 817c8cbf81
4 changed files with 1 additions and 45 deletions

View File

@@ -1312,11 +1312,6 @@ const Preferences = class {
'sensitive',
Gio.SettingsBindFlags.DEFAULT);
this._settings.bind('show-appmenu',
this._builder.get_object('show_appmenu_switch'),
'active',
Gio.SettingsBindFlags.DEFAULT);
this._settings.bind('show-window-previews',
this._builder.get_object('show_window_previews_switch'),
'active',
@@ -1903,6 +1898,7 @@ const Preferences = class {
this._settings.set_value('secondarymenu-contains-showdetails', this._settings.get_default_value('secondarymenu-contains-showdetails'));
});
// TODO setting secondarymenu-contains-appmenu is not being used anywhere
this._settings.bind('secondarymenu-contains-appmenu',
this._builder.get_object('secondarymenu_appmenu_switch'),
'active',