diff options
Diffstat (limited to 'raveos-gnome-theme/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/prefs.js')
| -rw-r--r-- | raveos-gnome-theme/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/prefs.js | 1168 |
1 files changed, 1168 insertions, 0 deletions
diff --git a/raveos-gnome-theme/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/prefs.js b/raveos-gnome-theme/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/prefs.js new file mode 100644 index 0000000..fae0b99 --- /dev/null +++ b/raveos-gnome-theme/theme-data/extensions/installed/dash-to-dock@micxgx.gmail.com/prefs.js @@ -0,0 +1,1168 @@ +// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*- + +import GLib from 'gi://GLib'; +import GObject from 'gi://GObject'; +import Gdk from 'gi://Gdk'; +import Gio from 'gi://Gio'; +import Gtk from 'gi://Gtk'; + +import { + ExtensionPreferences, + + // Use __ () and N__() for the extension gettext domain, and reuse + // the shell domain with the default _() and N_() + gettext as __, +} from 'resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js'; + +const SCALE_UPDATE_TIMEOUT = 500; +const DEFAULT_ICONS_SIZES = [128, 96, 64, 48, 32, 24, 16]; + +const TransparencyMode = Object.freeze({ + DEFAULT: 0, + FIXED: 1, + DYNAMIC: 3, +}); + +const RunningIndicatorStyle = Object.freeze({ + DEFAULT: 0, + DOTS: 1, + SQUARES: 2, + DASHES: 3, + SEGMENTED: 4, + SOLID: 5, + CILIORA: 6, + METRO: 7, +}); + +const MonitorsConfig = GObject.registerClass({ + Signals: { + 'updated': {}, + }, +}, class MonitorsConfig extends GObject.Object { + static get XML_INTERFACE() { + return '<node>\ + <interface name="org.gnome.Mutter.DisplayConfig">\ + <method name="GetCurrentState">\ + <arg name="serial" direction="out" type="u" />\ + <arg name="monitors" direction="out" type="a((ssss)a(siiddada{sv})a{sv})" />\ + <arg name="logical_monitors" direction="out" type="a(iiduba(ssss)a{sv})" />\ + <arg name="properties" direction="out" type="a{sv}" />\ + </method>\ + <signal name="MonitorsChanged" />\ + </interface>\ + </node>'; + } + + static get ProxyWrapper() { + return Gio.DBusProxy.makeProxyWrapper(MonitorsConfig.XML_INTERFACE); + } + + constructor() { + super(); + + this._monitorsConfigProxy = new MonitorsConfig.ProxyWrapper( + Gio.DBus.session, + 'org.gnome.Mutter.DisplayConfig', + '/org/gnome/Mutter/DisplayConfig' + ); + + // Connecting to a D-Bus signal + this._monitorsConfigProxy.connectSignal('MonitorsChanged', + () => this._updateResources()); + + this._primaryMonitor = null; + this._monitors = []; + this._logicalMonitors = []; + + this._updateResources(); + } + + _updateResources() { + this._monitorsConfigProxy.GetCurrentStateRemote((resources, err) => { + if (err) { + logError(err); + return; + } + + const [serial_, monitors, logicalMonitors] = resources; + let index = 0; + for (const monitor of monitors) { + const [monitorSpecs, modes_, props] = monitor; + const [connector, vendor, product, serial] = monitorSpecs; + this._monitors.push({ + index: index++, + active: false, + connector, vendor, product, serial, + displayName: props['display-name'].unpack(), + }); + } + + for (const logicalMonitor of logicalMonitors) { + const [x_, y_, scale_, transform_, isPrimary, monitorsSpecs] = + logicalMonitor; + + // We only care about the first one really + for (const monitorSpecs of monitorsSpecs) { + const [connector, vendor, product, serial] = monitorSpecs; + const monitor = this._monitors.find(m => + m.connector === connector && m.vendor === vendor && + m.product === product && m.serial === serial); + + if (monitor) { + monitor.active = true; + monitor.isPrimary = isPrimary; + if (monitor.isPrimary) + this._primaryMonitor = monitor; + break; + } + } + } + + const activeMonitors = this._monitors.filter(m => m.active); + if (activeMonitors.length > 1 && logicalMonitors.length === 1) { + // We're in cloning mode, so let's just activate the primary monitor + this._monitors.forEach(m => (m.active = false)); + this._primaryMonitor.active = true; + } + + this._updateMonitorsIndexes(); + this.emit('updated'); + }); + } + + _updateMonitorsIndexes() { + // This function ensures that we follow the old Gdk indexing strategy + // for monitors, it can be removed when we don't care about breaking + // old user configurations or external apps configuring this extension + // such as ubuntu's gnome-control-center. + const {index: primaryMonitorIndex} = this._primaryMonitor; + for (const monitor of this._monitors) { + let {index} = monitor; + // The The dock uses the Gdk index for monitors, where the primary monitor + // always has index 0, so let's follow what dash-to-dock does in docking.js + // (as part of _createDocks), but using inverted math + index -= primaryMonitorIndex; + + if (index < 0) + index += this._monitors.length; + + monitor.index = index; + } + } + + get primaryMonitor() { + return this._primaryMonitor; + } + + get monitors() { + return this._monitors; + } +}); + +/** + * @param settings + */ +function setShortcut(settings) { + const shortcutText = settings.get_string('shortcut-text'); + const [success, key, mods] = Gtk.accelerator_parse(shortcutText); + + if (success && Gtk.accelerator_valid(key, mods)) { + const shortcut = Gtk.accelerator_name(key, mods); + settings.set_strv('shortcut', [shortcut]); + } else { + settings.set_strv('shortcut', []); + } +} + +const DockSettings = GObject.registerClass({ + Implements: [Gtk.BuilderScope], +}, class DashToDockSettings extends GObject.Object { + _init(extensionPreferences) { + super._init(); + + this._extensionPreferences = extensionPreferences; + this._settings = extensionPreferences.getSettings( + 'org.gnome.shell.extensions.dash-to-dock'); + this._appSwitcherSettings = new Gio.Settings({schema_id: 'org.gnome.shell.app-switcher'}); + this._rtl = Gtk.Widget.get_default_direction() === Gtk.TextDirection.RTL; + + this._builder = new Gtk.Builder(); + this._builder.set_scope(this); + this._builder.set_translation_domain( + extensionPreferences.metadata['gettext-domain']); + this._builder.add_from_file(`${extensionPreferences.path}/Settings.ui`); + + this.widget = this._builder.get_object('settings_notebook'); + + // Set a reasonable initial window height + this.widget.connect('realize', () => { + const rootWindow = this.widget.get_root(); + rootWindow.set_default_size(-1, 850); + rootWindow.connect('close-request', () => this._onWindowsClosed()); + }); + + // Timeout to delay the update of the settings + this._dock_size_timeout = 0; + this._icon_size_timeout = 0; + this._opacity_timeout = 0; + + this._monitorsConfig = new MonitorsConfig(); + this._bindSettings(); + } + + _onWindowsClosed() { + if (this._dock_size_timeout) { + GLib.source_remove(this._dock_size_timeout); + delete this._dock_size_timeout; + } + + if (this._icon_size_timeout) { + GLib.source_remove(this._icon_size_timeout); + delete this._icon_size_timeout; + } + + if (this._opacity_timeout) { + GLib.source_remove(this._opacity_timeout); + delete this._opacity_timeout; + } + } + + vfunc_create_closure(builder, handlerName, flags, connectObject) { + if (flags & Gtk.BuilderClosureFlags.SWAPPED) + throw new Error('Unsupported template signal flag "swapped"'); + + if (typeof this[handlerName] === 'undefined') + throw new Error(`${handlerName} is undefined`); + + return this[handlerName].bind(connectObject || this); + } + + dock_display_combo_changed_cb(combo) { + if (!this._monitors?.length || this._updatingSettings) + return; + + const preferredMonitor = this._monitors[combo.get_active()].connector; + + this._updatingSettings = true; + this._settings.set_string('preferred-monitor-by-connector', preferredMonitor); + this._settings.set_int('preferred-monitor', -2); + this._updatingSettings = false; + } + + position_top_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('dock-position', 0); + } + + position_right_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('dock-position', 1); + } + + position_bottom_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('dock-position', 2); + } + + position_left_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('dock-position', 3); + } + + icon_size_combo_changed_cb(combo) { + this._settings.set_int('dash-max-icon-size', this._allIconSizes[combo.get_active()]); + } + + dock_size_scale_value_changed_cb(scale) { + // Avoid settings the size continuously + if (this._dock_size_timeout > 0) + GLib.source_remove(this._dock_size_timeout); + this._dock_size_timeout = GLib.timeout_add( + GLib.PRIORITY_DEFAULT, SCALE_UPDATE_TIMEOUT, () => { + this._settings.set_double('height-fraction', scale.get_value()); + this._dock_size_timeout = 0; + return GLib.SOURCE_REMOVE; + }); + } + + icon_size_scale_value_changed_cb(scale) { + // Avoid settings the size consinuosly + if (this._icon_size_timeout > 0) + GLib.source_remove(this._icon_size_timeout); + this._icon_size_timeout = GLib.timeout_add( + GLib.PRIORITY_DEFAULT, SCALE_UPDATE_TIMEOUT, () => { + this._settings.set_int('dash-max-icon-size', scale.get_value()); + this._icon_size_timeout = 0; + return GLib.SOURCE_REMOVE; + }); + } + + preview_size_scale_format_value_cb(scale, value) { + return value === 0 ? 'auto' : value; + } + + preview_size_scale_value_changed_cb(scale) { + this._settings.set_double('preview-size-scale', scale.get_value()); + } + + custom_opacity_scale_value_changed_cb(scale) { + // Avoid settings the opacity consinuosly as it's change is animated + if (this._opacity_timeout > 0) + GLib.source_remove(this._opacity_timeout); + this._opacity_timeout = GLib.timeout_add( + GLib.PRIORITY_DEFAULT, SCALE_UPDATE_TIMEOUT, () => { + this._settings.set_double('background-opacity', scale.get_value()); + this._opacity_timeout = 0; + return GLib.SOURCE_REMOVE; + }); + } + + min_opacity_scale_value_changed_cb(scale) { + // Avoid settings the opacity consinuosly as it's change is animated + if (this._opacity_timeout > 0) + GLib.source_remove(this._opacity_timeout); + this._opacity_timeout = GLib.timeout_add( + GLib.PRIORITY_DEFAULT, SCALE_UPDATE_TIMEOUT, () => { + this._settings.set_double('min-alpha', scale.get_value()); + this._opacity_timeout = 0; + return GLib.SOURCE_REMOVE; + }); + } + + max_opacity_scale_value_changed_cb(scale) { + // Avoid settings the opacity consinuosly as it's change is animated + if (this._opacity_timeout > 0) + GLib.source_remove(this._opacity_timeout); + this._opacity_timeout = GLib.timeout_add( + GLib.PRIORITY_DEFAULT, SCALE_UPDATE_TIMEOUT, () => { + this._settings.set_double('max-alpha', scale.get_value()); + this._opacity_timeout = 0; + return GLib.SOURCE_REMOVE; + }); + } + + all_windows_radio_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('intellihide-mode', 0); + } + + focus_application_windows_radio_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('intellihide-mode', 1); + } + + maximized_windows_radio_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('intellihide-mode', 2); + } + + always_on_top_radio_button_toggled_cb(button) { + if (button.get_active()) + this._settings.set_enum('intellihide-mode', 3); + } + + _updateMonitorsSettings() { + // Monitor options + const preferredMonitor = this._settings.get_int('preferred-monitor'); + const preferredMonitorByConnector = this._settings.get_string('preferred-monitor-by-connector'); + const dockMonitorCombo = this._builder.get_object('dock_monitor_combo'); + + this._monitors = []; + dockMonitorCombo.remove_all(); + let primaryIndex = -1; + + // Add connected monitors + for (const monitor of this._monitorsConfig.monitors) { + if (!monitor.active && monitor.index !== preferredMonitor) + continue; + + if (monitor.isPrimary) { + dockMonitorCombo.append_text( + /* Translators: This will be followed by Display Name - Connector. */ + `${__('Primary monitor: ') + monitor.displayName} - ${ + monitor.connector}`); + primaryIndex = this._monitors.length; + } else { + dockMonitorCombo.append_text( + /* Translators: Followed by monitor index, Display Name - Connector. */ + `${__('Secondary monitor ') + (monitor.index + 1)} - ${ + monitor.displayName} - ${monitor.connector}`); + } + + this._monitors.push(monitor); + + if (monitor.index === preferredMonitor || + (preferredMonitor === -2 && preferredMonitorByConnector === monitor.connector)) + dockMonitorCombo.set_active(this._monitors.length - 1); + } + + if (dockMonitorCombo.get_active() < 0 && primaryIndex >= 0) + dockMonitorCombo.set_active(primaryIndex); + } + + _bindSettings() { + // Position and size panel + + this._updateMonitorsSettings(); + this._monitorsConfig.connect('updated', + () => this._updateMonitorsSettings()); + this._settings.connect('changed::preferred-monitor', + () => this._updateMonitorsSettings()); + this._settings.connect('changed::preferred-monitor-by-connector', + () => this._updateMonitorsSettings()); + + // Position option + const position = this._settings.get_enum('dock-position'); + + switch (position) { + case 0: + this._builder.get_object('position_top_button').set_active(true); + break; + case 1: + this._builder.get_object('position_right_button').set_active(true); + break; + case 2: + this._builder.get_object('position_bottom_button').set_active(true); + break; + case 3: + this._builder.get_object('position_left_button').set_active(true); + break; + } + + if (this._rtl) { + /* Left is Right in rtl as a setting */ + this._builder.get_object('position_left_button').set_label(__('Right')); + this._builder.get_object('position_right_button').set_label(__('Left')); + } + + // Intelligent autohide options + this._settings.bind('dock-fixed', + this._builder.get_object('intelligent_autohide_switch'), + 'active', + Gio.SettingsBindFlags.INVERT_BOOLEAN); + this._settings.bind('dock-fixed', + this._builder.get_object('intelligent_autohide_button'), + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN); + this._settings.bind('autohide', + this._builder.get_object('autohide_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('autohide-in-fullscreen', + this._builder.get_object('autohide_enable_in_fullscreen_checkbutton'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-dock-urgent-notify', + this._builder.get_object('show_dock_urgent_notify_checkbutton'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('require-pressure-to-show', + this._builder.get_object('require_pressure_checkbutton'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('intellihide', + this._builder.get_object('intellihide_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('animation-time', + this._builder.get_object('animation_duration_spinbutton'), + 'value', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('hide-delay', + this._builder.get_object('hide_timeout_spinbutton'), + 'value', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-delay', + this._builder.get_object('show_timeout_spinbutton'), + 'value', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('pressure-threshold', + this._builder.get_object('pressure_threshold_spinbutton'), + 'value', + Gio.SettingsBindFlags.DEFAULT); + + // this._builder.get_object('animation_duration_spinbutton').set_value( + // this._settings.get_double('animation-time')); + + // Create dialog for intelligent autohide advanced settings + this._builder.get_object('intelligent_autohide_button').connect('clicked', () => { + const dialog = new Gtk.Dialog({ + title: __('Intelligent autohide customization'), + transient_for: this.widget.get_root(), + use_header_bar: true, + modal: true, + }); + + // GTK+ leaves positive values for application-defined response ids. + // Use +1 for the reset action + dialog.add_button(__('Reset to defaults'), 1); + + const box = this._builder.get_object('intelligent_autohide_advanced_settings_box'); + dialog.get_content_area().append(box); + + this._settings.bind('intellihide', + this._builder.get_object('intellihide_mode_box'), + 'sensitive', + Gio.SettingsBindFlags.GET); + + // intellihide mode + + const intellihideModeRadioButtons = [ + this._builder.get_object('all_windows_radio_button'), + this._builder.get_object('focus_application_windows_radio_button'), + this._builder.get_object('maximized_windows_radio_button'), + this._builder.get_object('always_on_top_radio_button'), + ]; + + intellihideModeRadioButtons[this._settings.get_enum('intellihide-mode')].set_active(true); + + this._settings.bind('autohide', + this._builder.get_object('require_pressure_checkbutton'), + 'sensitive', + Gio.SettingsBindFlags.GET); + + this._settings.bind('autohide', + this._builder.get_object('autohide_enable_in_fullscreen_checkbutton'), + 'sensitive', + Gio.SettingsBindFlags.GET); + + this._settings.bind('autohide', + this._builder.get_object('show_dock_urgent_notify_checkbutton'), + 'sensitive', + Gio.SettingsBindFlags.GET); + + this._settings.bind('require-pressure-to-show', + this._builder.get_object('show_timeout_spinbutton'), + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN); + this._settings.bind('require-pressure-to-show', + this._builder.get_object('show_timeout_label'), + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN); + this._settings.bind('require-pressure-to-show', + this._builder.get_object('pressure_threshold_spinbutton'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('require-pressure-to-show', + this._builder.get_object('pressure_threshold_label'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + + dialog.connect('response', (_, id) => { + if (id === 1) { + // restore default settings for the relevant keys + const keys = ['intellihide', 'autohide', 'intellihide-mode', + 'autohide-in-fullscreen', 'show-dock-urgent-notify', + 'require-pressure-to-show', 'animation-time', + 'show-delay', 'hide-delay', 'pressure-threshold']; + keys.forEach(function (val) { + this._settings.set_value(val, this._settings.get_default_value(val)); + }, this); + intellihideModeRadioButtons[this._settings.get_enum('intellihide-mode')].set_active(true); + } else { + // remove the settings box so it doesn't get destroyed; + dialog.get_content_area().remove(box); + dialog.destroy(); + } + }); + + dialog.present(); + }); + + // size options + const dockSizeScale = this._builder.get_object('dock_size_scale'); + dockSizeScale.set_value(this._settings.get_double('height-fraction')); + dockSizeScale.add_mark(0.9, Gtk.PositionType.TOP, null); + dockSizeScale.set_format_value_func((_, value) => { + return `${Math.round(value * 100)} %`; + }); + const iconSizeScale = this._builder.get_object('icon_size_scale'); + iconSizeScale.set_range(8, DEFAULT_ICONS_SIZES[0]); + iconSizeScale.set_value(this._settings.get_int('dash-max-icon-size')); + DEFAULT_ICONS_SIZES.forEach(val => { + iconSizeScale.add_mark(val, Gtk.PositionType.TOP, val.toString()); + }); + iconSizeScale.set_format_value_func((_, value) => { + return `${value} px`; + }); + this._builder.get_object('preview_size_scale').set_value( + this._settings.get_double('preview-size-scale')); + + // Corrent for rtl languages + if (this._rtl) { + // Flip value position: this is not done automatically + dockSizeScale.set_value_pos(Gtk.PositionType.LEFT); + iconSizeScale.set_value_pos(Gtk.PositionType.LEFT); + // I suppose due to a bug, having a more than one mark and one above + // a value of 100 makes the rendering of the marks wrong in rtl. + // This doesn't happen setting the scale as not flippable + // and then manually inverting it + iconSizeScale.set_flippable(false); + iconSizeScale.set_inverted(true); + } + + this._settings.bind('icon-size-fixed', + this._builder.get_object('icon_size_fixed_checkbutton'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('extend-height', + this._builder.get_object('dock_size_extend_checkbutton'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('extend-height', + this._builder.get_object('dock_size_scale'), + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN); + this._settings.bind('always-center-icons', + this._builder.get_object('dock_center_icons_check'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('extend-height', + this._builder.get_object('dock_center_icons_check'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + + this._settings.bind('multi-monitor', + this._builder.get_object('dock_monitor_combo'), + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN); + + + // Apps panel + + this._settings.bind('show-running', + this._builder.get_object('show_running_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + const applicationButtonIsolationButton = + this._builder.get_object('application_button_isolation_button'); + this._settings.bind('isolate-workspaces', + applicationButtonIsolationButton, + 'active', + Gio.SettingsBindFlags.DEFAULT); + applicationButtonIsolationButton.connect( + 'notify::sensitive', check => { + if (check.sensitive) { + [check.label] = check.label.split('\n'); + } else { + check.label += `\n${ + __('Managed by GNOME Multitasking\'s Application Switching setting.')}`; + } + }); + this._appSwitcherSettings.bind('current-workspace-only', + applicationButtonIsolationButton, + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN | + Gio.SettingsBindFlags.SYNC_CREATE); + this._settings.bind('workspace-agnostic-urgent-windows', + this._builder.get_object('application_button_urgent_button'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('isolate-monitors', + this._builder.get_object('application_button_monitor_isolation_button'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-windows-preview', + this._builder.get_object('windows_preview_button'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('multi-monitor', + this._builder.get_object('multi_monitor_button'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-favorites', + this._builder.get_object('show_favorite_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-trash', + this._builder.get_object('show_trash_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-mounts', + this._builder.get_object('show_mounts_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-mounts-only-mounted', + this._builder.get_object('show_only_mounted_devices_check'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-mounts-network', + this._builder.get_object('show_network_volumes_check'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('isolate-locations', + this._builder.get_object('isolate_locations_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + const isolateLocationsBindings = ['show_trash_switch', 'show_mounts_switch']; + const updateIsolateLocations = () => { + this._builder.get_object('isolate_locations_row').sensitive = + isolateLocationsBindings.some(s => this._builder.get_object(s).active); + }; + updateIsolateLocations(); + isolateLocationsBindings.forEach(s => this._builder.get_object(s).connect( + 'notify::active', () => updateIsolateLocations())); + this._settings.bind('dance-urgent-applications', + this._builder.get_object('wiggle_urgent_applications_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('hide-tooltip', + this._builder.get_object('hide_tooltip_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-icons-emblems', + this._builder.get_object('show_icons_emblems_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + const notificationsCounterCheck = this._builder.get_object( + 'notifications_counter_check'); + this._settings.bind('show-icons-notifications-counter', + notificationsCounterCheck, + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-icons-emblems', + notificationsCounterCheck, + 'sensitive', + Gio.SettingsBindFlags.GET); + + const applicationsOverrideCounter = + this._builder.get_object('applications_override_counter'); + this._settings.bind('application-counter-overrides-notifications', + applicationsOverrideCounter, + 'active', + Gio.SettingsBindFlags.DEFAULT); + notificationsCounterCheck.bind_property('active', + applicationsOverrideCounter, 'sensitive', + GObject.BindingFlags.SYNC_CREATE); + this._settings.connect('changed::show-icons-emblems', () => { + if (this._settings.get_boolean('show-icons-emblems')) + applicationsOverrideCounter.sensitive = notificationsCounterCheck.active; + else + applicationsOverrideCounter.sensitive = false; + }); + this._settings.bind('show-show-apps-button', + this._builder.get_object('show_applications_button_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-apps-at-top', + this._builder.get_object('application_button_first_button'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-show-apps-button', + this._builder.get_object('application_button_first_button'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-show-apps-button', + this._builder.get_object('application_button_animation_button'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-apps-always-in-the-edge', + this._builder.get_object('show_apps_always_in_the_edge'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('show-show-apps-button', + this._builder.get_object('show_apps_always_in_the_edge'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('scroll-to-focused-application', + this._builder.get_object('scroll_to_icon_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + + + // Behavior panel + + this._settings.bind('hot-keys', + this._builder.get_object('hot_keys_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('hot-keys', + this._builder.get_object('overlay_button'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); + + this._builder.get_object('click_action_combo').set_active(this._settings.get_enum('click-action')); + this._builder.get_object('click_action_combo').connect('changed', widget => { + this._settings.set_enum('click-action', widget.get_active()); + }); + + this._builder.get_object('scroll_action_combo').set_active(this._settings.get_enum('scroll-action')); + this._builder.get_object('scroll_action_combo').connect('changed', widget => { + this._settings.set_enum('scroll-action', widget.get_active()); + }); + + this._builder.get_object('shift_click_action_combo').connect('changed', widget => { + this._settings.set_enum('shift-click-action', widget.get_active()); + }); + + this._builder.get_object('middle_click_action_combo').connect('changed', widget => { + this._settings.set_enum('middle-click-action', widget.get_active()); + }); + this._builder.get_object('shift_middle_click_action_combo').connect('changed', widget => { + this._settings.set_enum('shift-middle-click-action', widget.get_active()); + }); + + // Create dialog for number overlay options + this._builder.get_object('overlay_button').connect('clicked', () => { + const dialog = new Gtk.Dialog({ + title: __('Show dock and application numbers'), + transient_for: this.widget.get_root(), + use_header_bar: true, + modal: true, + }); + + // GTK+ leaves positive values for application-defined response ids. + // Use +1 for the reset action + dialog.add_button(__('Reset to defaults'), 1); + + const box = this._builder.get_object('box_overlay_shortcut'); + dialog.get_content_area().append(box); + + this._builder.get_object('overlay_switch').set_active( + this._settings.get_boolean('hotkeys-overlay')); + this._builder.get_object('show_dock_switch').set_active( + this._settings.get_boolean('hotkeys-show-dock')); + + // We need to update the shortcut 'strv' when the text is modified + this._settings.connect('changed::shortcut-text', () => setShortcut(this._settings)); + this._settings.bind('shortcut-text', + this._builder.get_object('shortcut_entry'), + 'text', + Gio.SettingsBindFlags.DEFAULT); + + this._settings.bind('hotkeys-overlay', + this._builder.get_object('overlay_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('hotkeys-show-dock', + this._builder.get_object('show_dock_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('shortcut-timeout', + this._builder.get_object('timeout_spinbutton'), + 'value', + Gio.SettingsBindFlags.DEFAULT); + + dialog.connect('response', (_, id) => { + if (id === 1) { + // restore default settings for the relevant keys + const keys = ['shortcut-text', 'hotkeys-overlay', + 'hotkeys-show-dock', 'shortcut-timeout']; + keys.forEach(function (val) { + this._settings.set_value(val, this._settings.get_default_value(val)); + }, this); + } else { + // remove the settings box so it doesn't get destroyed; + dialog.get_content_area().remove(box); + dialog.destroy(); + } + }); + + dialog.present(); + }); + + // Create dialog for middle-click options + this._builder.get_object('middle_click_options_button').connect('clicked', () => { + const dialog = new Gtk.Dialog({ + title: __('Customize middle-click behavior'), + transient_for: this.widget.get_root(), + use_header_bar: true, + modal: true, + }); + + // GTK+ leaves positive values for application-defined response ids. + // Use +1 for the reset action + dialog.add_button(__('Reset to defaults'), 1); + + const box = this._builder.get_object('box_middle_click_options'); + dialog.get_content_area().append(box); + + this._builder.get_object('shift_click_action_combo').set_active( + this._settings.get_enum('shift-click-action')); + + this._builder.get_object('middle_click_action_combo').set_active( + this._settings.get_enum('middle-click-action')); + + this._builder.get_object('shift_middle_click_action_combo').set_active( + this._settings.get_enum('shift-middle-click-action')); + + this._settings.bind('shift-click-action', + this._builder.get_object('shift_click_action_combo'), + 'active-id', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('middle-click-action', + this._builder.get_object('middle_click_action_combo'), + 'active-id', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('shift-middle-click-action', + this._builder.get_object('shift_middle_click_action_combo'), + 'active-id', + Gio.SettingsBindFlags.DEFAULT); + + dialog.connect('response', (_, id) => { + if (id === 1) { + // restore default settings for the relevant keys + const keys = ['shift-click-action', 'middle-click-action', 'shift-middle-click-action']; + keys.forEach(function (val) { + this._settings.set_value(val, this._settings.get_default_value(val)); + }, this); + this._builder.get_object('shift_click_action_combo').set_active( + this._settings.get_enum('shift-click-action')); + this._builder.get_object('middle_click_action_combo').set_active( + this._settings.get_enum('middle-click-action')); + this._builder.get_object('shift_middle_click_action_combo').set_active( + this._settings.get_enum('shift-middle-click-action')); + } else { + // remove the settings box so it doesn't get destroyed; + dialog.get_content_area().remove(box); + dialog.destroy(); + } + }); + + dialog.present(); + }); + + // Appearance Panel + + this._settings.bind('apply-custom-theme', + this._builder.get_object('customize_theme'), + 'sensitive', + Gio.SettingsBindFlags.INVERT_BOOLEAN | Gio.SettingsBindFlags.GET); + this._settings.bind('apply-custom-theme', + this._builder.get_object('builtin_theme_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('custom-theme-shrink', + this._builder.get_object('shrink_dash_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + + // Running indicators + this._builder.get_object('running_indicators_combo').set_active( + this._settings.get_enum('running-indicator-style') + ); + this._builder.get_object('running_indicators_combo').connect( + 'changed', + widget => { + this._settings.set_enum('running-indicator-style', widget.get_active()); + } + ); + + if (this._settings.get_enum('running-indicator-style') === RunningIndicatorStyle.DEFAULT) + this._builder.get_object('running_indicators_advance_settings_button').set_sensitive(false); + + this._settings.connect('changed::running-indicator-style', () => { + if (this._settings.get_enum('running-indicator-style') === RunningIndicatorStyle.DEFAULT) + this._builder.get_object('running_indicators_advance_settings_button').set_sensitive(false); + else + this._builder.get_object('running_indicators_advance_settings_button').set_sensitive(true); + }); + + // Create dialog for running indicators advanced settings + this._builder.get_object('running_indicators_advance_settings_button').connect('clicked', () => { + const dialog = new Gtk.Dialog({ + title: __('Customize running indicators'), + transient_for: this.widget.get_root(), + use_header_bar: true, + modal: true, + }); + + const box = this._builder.get_object('running_dots_advance_settings_box'); + dialog.get_content_area().append(box); + + this._settings.bind('running-indicator-dominant-color', + this._builder.get_object('dominant_color_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + + this._settings.bind('custom-theme-customize-running-dots', + this._builder.get_object('dot_style_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('custom-theme-customize-running-dots', + this._builder.get_object('dot_style_settings_box'), + 'sensitive', Gio.SettingsBindFlags.DEFAULT); + + const rgba = new Gdk.RGBA(); + rgba.parse(this._settings.get_string('custom-theme-running-dots-color')); + this._builder.get_object('dot_color_colorbutton').set_rgba(rgba); + + this._builder.get_object('dot_color_colorbutton').connect('notify::rgba', button => { + const css = button.rgba.to_string(); + + this._settings.set_string('custom-theme-running-dots-color', css); + }); + + rgba.parse(this._settings.get_string('custom-theme-running-dots-border-color')); + this._builder.get_object('dot_border_color_colorbutton').set_rgba(rgba); + + this._builder.get_object('dot_border_color_colorbutton').connect('notify::rgba', button => { + const css = button.rgba.to_string(); + + this._settings.set_string('custom-theme-running-dots-border-color', css); + }); + + this._settings.bind('custom-theme-running-dots-border-width', + this._builder.get_object('dot_border_width_spin_button'), + 'value', + Gio.SettingsBindFlags.DEFAULT); + + + dialog.connect('response', () => { + // remove the settings box so it doesn't get destroyed; + dialog.get_content_area().remove(box); + dialog.destroy(); + }); + + dialog.present(); + }); + + this._settings.bind('custom-background-color', + this._builder.get_object('custom_background_color_switch'), + 'active', Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('custom-background-color', + this._builder.get_object('custom_background_color'), + 'sensitive', Gio.SettingsBindFlags.DEFAULT); + + const rgba = new Gdk.RGBA(); + rgba.parse(this._settings.get_string('background-color')); + this._builder.get_object('custom_background_color').set_rgba(rgba); + + this._builder.get_object('custom_background_color').connect('notify::rgba', button => { + const css = button.rgba.to_string(); + + this._settings.set_string('background-color', css); + }); + + // Opacity + this._builder.get_object('customize_opacity_combo').set_active_id( + this._settings.get_enum('transparency-mode').toString() + ); + this._builder.get_object('customize_opacity_combo').connect( + 'changed', + widget => { + this._settings.set_enum('transparency-mode', parseInt(widget.get_active_id())); + } + ); + + const customOpacityScale = this._builder.get_object('custom_opacity_scale'); + customOpacityScale.set_value(this._settings.get_double('background-opacity')); + customOpacityScale.set_format_value_func((_, value) => { + return `${Math.round(value * 100)}%`; + }); + + if (this._settings.get_enum('transparency-mode') !== TransparencyMode.FIXED) + this._builder.get_object('custom_opacity_scale').set_sensitive(false); + + this._settings.connect('changed::transparency-mode', () => { + if (this._settings.get_enum('transparency-mode') !== TransparencyMode.FIXED) + this._builder.get_object('custom_opacity_scale').set_sensitive(false); + else + this._builder.get_object('custom_opacity_scale').set_sensitive(true); + }); + + if (this._settings.get_enum('transparency-mode') !== TransparencyMode.DYNAMIC) + this._builder.get_object('dynamic_opacity_button').set_sensitive(false); + + + this._settings.connect('changed::transparency-mode', () => { + if (this._settings.get_enum('transparency-mode') !== TransparencyMode.DYNAMIC) + this._builder.get_object('dynamic_opacity_button').set_sensitive(false); + + else + this._builder.get_object('dynamic_opacity_button').set_sensitive(true); + }); + + // Create dialog for transparency advanced settings + this._builder.get_object('dynamic_opacity_button').connect('clicked', () => { + const dialog = new Gtk.Dialog({ + title: __('Customize opacity'), + transient_for: this.widget.get_root(), + use_header_bar: true, + modal: true, + }); + + const box = this._builder.get_object('advanced_transparency_dialog'); + dialog.get_content_area().append(box); + + this._settings.bind( + 'customize-alphas', + this._builder.get_object('customize_alphas_switch'), + 'active', + Gio.SettingsBindFlags.DEFAULT + ); + this._settings.bind( + 'customize-alphas', + this._builder.get_object('min_alpha_scale'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT + ); + this._settings.bind( + 'customize-alphas', + this._builder.get_object('max_alpha_scale'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT + ); + + const minAlphaScale = this._builder.get_object('min_alpha_scale'); + const maxAlphaScale = this._builder.get_object('max_alpha_scale'); + minAlphaScale.set_value( + this._settings.get_double('min-alpha') + ); + minAlphaScale.set_format_value_func((_, value) => { + return `${Math.round(value * 100)} %`; + }); + maxAlphaScale.set_format_value_func((_, value) => { + return `${Math.round(value * 100)} %`; + }); + + maxAlphaScale.set_value( + this._settings.get_double('max-alpha') + ); + + dialog.connect('response', () => { + // remove the settings box so it doesn't get destroyed; + dialog.get_content_area().remove(box); + dialog.destroy(); + }); + + dialog.present(); + }); + + + this._settings.bind('unity-backlit-items', + this._builder.get_object('unity_backlit_items_switch'), + 'active', Gio.SettingsBindFlags.DEFAULT + ); + this._settings.bind('apply-glossy-effect', + this._builder.get_object('apply_gloss_effect_checkbutton'), + 'active', Gio.SettingsBindFlags.DEFAULT + ); + this._settings.bind('unity-backlit-items', + this._builder.get_object('apply_gloss_effect_checkbutton'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT + ); + + this._settings.bind('force-straight-corner', + this._builder.get_object('force_straight_corner_switch'), + 'active', Gio.SettingsBindFlags.DEFAULT); + + this._settings.bind('disable-overview-on-startup', + this._builder.get_object('show_overview_on_startup_switch'), + 'active', Gio.SettingsBindFlags.INVERT_BOOLEAN); + + // About Panel + + this._builder.get_object('extension_version').set_label( + `${this._extensionPreferences.metadata.version}`); + } +}); + +export default class DockPreferences extends ExtensionPreferences { + getPreferencesWidget() { + const settings = new DockSettings(this); + const {widget} = settings; + return widget; + } +} |