diff --git a/SettingsFineTune.ui b/SettingsFineTune.ui new file mode 100644 index 0000000..1b7ed5e --- /dev/null +++ b/SettingsFineTune.ui @@ -0,0 +1,273 @@ + + + + + + 0.33 + 1 + 0.01 + 0.1 + + + + 0.33 + 1 + 0.01 + 0.1 + + + + 0.33 + 1 + 0.01 + 0.1 + + + + 0.33 + 1 + 0.01 + 0.1 + + + + 0.33 + 1 + 0.01 + 0.1 + + + + Fine-Tune + document-properties + + + + + Font size + + + + Tray Font Size + (0 = theme default) + + + True + True + baseline + True + tray_size_adjustment + 0 + 0 + right + True + + + + + + + + + LeftBox Font Size + (0 = theme default) + + + True + True + baseline + True + leftbox_size_adjustment + 0 + 0 + right + True + + + + + + + + + + + + + Padding + + + + Tray Item Padding + (-1 = theme default) + + + baseline + True + tray_padding_adjustment + 0 + 0 + right + True + + + + + + + + + Status Icon Padding + (-1 = theme default) + + + baseline + True + statusicon_padding_adjustment + 0 + 0 + right + True + + + + + + + + + LeftBox Padding + (-1 = theme default) + + + baseline + True + leftbox_padding_adjustment + 0 + 0 + right + True + + + + + + + + + + + + + Animate + + + + Animate switching applications + + + center + + + + + + + + Animate launching new windows + + + center + + + + + + + + + + + + Gnome functionality + + + + Keep original gnome-shell dash + (overview) + + + center + + + + + + + + Keep original gnome-shell top panel + + + center + + + + + + + + Activate panel menu buttons on click only + (e.g. date menu) + + + center + + + + + + + + Force Activities hot corner on primary monitor + + + center + + + + + + + + + + + + + + + App icon secondary menu + (right-click menu) + + + True + center + + + False + emblem-system-symbolic + + + + + + + + + + + + + \ No newline at end of file diff --git a/prefs.js b/prefs.js index 8e5b5ab..13ff119 100644 --- a/prefs.js +++ b/prefs.js @@ -2466,9 +2466,8 @@ function fillPreferencesWindow(window) { builder.set_scope(new BuilderScope()); builder.set_translation_domain(Me.metadata['gettext-domain']); - let pagePosition = new Adw.PreferencesPage(); - pagePosition.set_title("Position"); - pagePosition.set_icon_name("document-properties"); + builder.add_from_file(Me.path + '/SettingsPosition.ui'); + let pagePosition = builder.get_object('position'); window.add(pagePosition); builder.add_from_file(Me.path + '/SettingsStyle.ui'); @@ -2483,9 +2482,8 @@ function fillPreferencesWindow(window) { let pageAction = builder.get_object('action'); window.add(pageAction); - let pageFineTune = new Adw.PreferencesPage(); - pageFineTune.set_title("Fine-Tune"); - pageFineTune.set_icon_name("document-properties"); + builder.add_from_file(Me.path + '/SettingsFineTune.ui'); + let pageFineTune = builder.get_object('finetune'); window.add(pageFineTune); builder.add_from_file(Me.path + '/SettingsAbout.ui');