morgan/dash-to-panel
1
0
Fork 0
mirror of https://github.com/morgan9e/dash-to-panel synced 2026-04-15 00:34:05 +09:00
Code Issues Packages Projects Releases Wiki Activity

migrate box show desktop options to adw preferences group

Browse Source
This commit is contained in:
Philipp Unger
2022-04-09 00:04:04 +02:00
parent 9525de6b1d
commit 9fe030ec35
2 changed files with 97 additions and 201 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
prefs.js
View File

@@ -245,7 +245,10 @@ const Preferences = class {
let isVertical = position == Pos.LEFT || position == Pos.RIGHT;
let showDesktopWidthLabel = this._builder.get_object('show_showdesktop_width_label');
showDesktopWidthLabel.set_text(isVertical ? _('Show Desktop button height (px)') : _('Show Desktop button width (px)'));
if(this._window)
showDesktopWidthLabel.set_title(isVertical ? _('Show Desktop button height (px)') : _('Show Desktop button width (px)'));
else
showDesktopWidthLabel.set_text(isVertical ? _('Show Desktop button height (px)') : _('Show Desktop button width (px)'));
this._displayPanelPositionsForMonitor(this._currentMonitorIndex);
}
@@ -1308,6 +1311,13 @@ const Preferences = class {
'sensitive',
Gio.SettingsBindFlags.DEFAULT);
if(this._window) {
this._settings.bind('show-showdesktop-hover',
this._builder.get_object('grid_show_showdesktop_hide_options2'),
'sensitive',
Gio.SettingsBindFlags.DEFAULT);
}
this._settings.bind('show-appmenu',
this._builder.get_object('show_appmenu_switch'),
'active',