diff --git a/prefs.js b/prefs.js index 3496a35..283e1c1 100644 --- a/prefs.js +++ b/prefs.js @@ -169,6 +169,7 @@ const Preferences = class { // dialogs this._builder.add_from_file(Me.path + '/ui/AnimateAppIconHoverOptions.ui'); this._builder.add_from_file(Me.path + '/ui/BoxDotOptions.ui'); + this._builder.add_from_file(Me.path + '/ui/BoxShowDesktopOptions.ui'); this._builder.add_from_file(Me.path + '/ui/SettingsPosition.ui'); let pagePosition = this._builder.get_object('position'); diff --git a/ui/BoxShowDesktopOptions.ui b/ui/BoxShowDesktopOptions.ui new file mode 100644 index 0000000..8b976db --- /dev/null +++ b/ui/BoxShowDesktopOptions.ui @@ -0,0 +1,243 @@ + + + + + + 1 + 40 + 1 + 10 + + + + 5000 + 10 + 100 + + + + 5000 + 10 + 100 + + + + True + False + vertical + + + True + False + none + 1 + 1 + + + True + True + + + True + False + 12 + 12 + 12 + 12 + 4 + 32 + + + True + False + True + 0 + + 0 + 0 + + + + + + True + True + end + 4 + 1 + show_showdesktop_width_adjustment + True + 1 + + 0 + 1 + + + + + + True + False + True + Override Show Desktop line color + 0 + + 1 + 0 + + + + + + True + False + 12 + end + + + True + True + True + end + True + + + + + True + True + end + center + + + + 1 + 1 + + + + + + + + + + True + True + + + True + False + 12 + 12 + 12 + 12 + 12 + 32 + + + True + False + True + Reveal the desktop when hovering the Show Desktop button + True + 0 + + 0 + 0 + + + + + + True + True + end + center + + 0 + 1 + + + + + + True + False + 4 + + + True + False + True + Delay before revealing the desktop (ms) + True + 0 + + 0 + 0 + + + + + + True + True + end + 4 + 1 + show_showdesktop_delay_adjustment + True + 1 + + 0 + 1 + + + + + + True + False + True + Fade duration (ms) + True + 0 + + 1 + 0 + + + + + + True + True + end + 4 + 1 + show_showdesktop_time_adjustment + True + 1 + + 1 + 1 + + + + + 1 + 0 + 2 + + + + + + + + + + + + \ No newline at end of file