From 027abac5746d54444f12f1052f07692621cb9459 Mon Sep 17 00:00:00 2001 From: QuaSoft Date: Thu, 26 Jul 2018 21:12:35 +0300 Subject: [PATCH] Allow changing of font weight of ungrouped application titles --- Settings.ui | 49 +++++++++++++++++++ appIcons.js | 3 ++ prefs.js | 8 +++ ...shell.extensions.dash-to-panel.gschema.xml | 12 +++++ 4 files changed, 72 insertions(+) diff --git a/Settings.ui b/Settings.ui index bb9245d..a68fc11 100644 --- a/Settings.ui +++ b/Settings.ui @@ -1037,6 +1037,55 @@ + + + True + True + + + True + False + 12 + 12 + 12 + 12 + 32 + + + True + False + True + Font weight of application titles + 0 + + + 0 + 0 + + + + + True + False + center + + inherit from theme + normal + lighter + bold + bolder + + + + 1 + 0 + 2 + + + + + + True diff --git a/appIcons.js b/appIcons.js index 2e2850a..44b0292 100644 --- a/appIcons.js +++ b/appIcons.js @@ -212,6 +212,7 @@ var taskbarAppIcon = new Lang.Class({ this._dtpSettings.connect('changed::focus-highlight-color', Lang.bind(this, this._settingsChangeRefresh)); this._dtpSettings.connect('changed::focus-highlight-opacity', Lang.bind(this, this._settingsChangeRefresh)); this._dtpSettings.connect('changed::group-apps-label-font-size', Lang.bind(this, this._updateWindowTitleStyle)); + this._dtpSettings.connect('changed::group-apps-label-font-weight', Lang.bind(this, this._updateWindowTitleStyle)); this._dtpSettings.connect('changed::group-apps-label-font-color', Lang.bind(this, this._updateWindowTitleStyle)); this._dtpSettings.connect('changed::group-apps-label-max-width', Lang.bind(this, this._updateWindowTitleStyle)); this._dtpSettings.connect('changed::group-apps-use-fixed-width', Lang.bind(this, this._updateWindowTitleStyle)); @@ -447,12 +448,14 @@ var taskbarAppIcon = new Lang.Class({ let useFixedWidth = this._dtpSettings.get_boolean('group-apps-use-fixed-width'); let maxLabelWidth = this._dtpSettings.get_int('group-apps-label-max-width') * St.ThemeContext.get_for_stage(global.stage).scale_factor; + let fontWeight = this._dtpSettings.get_string('group-apps-label-font-weight'); this._windowTitle[(maxLabelWidth > 0 ? 'show' : 'hide')](); this._windowTitle.clutter_text.natural_width = useFixedWidth ? maxLabelWidth : 0; this._windowTitle.clutter_text.natural_width_set = useFixedWidth; this._windowTitle.set_style('font-size: ' + this._dtpSettings.get_int('group-apps-label-font-size') + 'px;' + + 'font-weight: ' + fontWeight + ';' + (useFixedWidth ? '' : 'max-width: ' + maxLabelWidth + 'px;') + 'color: ' + this._dtpSettings.get_string('group-apps-label-font-color')); } diff --git a/prefs.js b/prefs.js index 6604124..57aa00c 100644 --- a/prefs.js +++ b/prefs.js @@ -811,6 +811,11 @@ const Settings = new Lang.Class({ this._settings.set_int('group-apps-label-font-size', widget.get_value()); })); + this._builder.get_object('group_apps_label_font_weight_combo').set_active_id(this._settings.get_string('group-apps-label-font-weight')); + this._builder.get_object('group_apps_label_font_weight_combo').connect('changed', Lang.bind (this, function(widget) { + this._settings.set_string('group-apps-label-font-weight', widget.get_active_id()); + })); + (function() { let rgba = new Gdk.RGBA(); rgba.parse(this._settings.get_string('group-apps-label-font-color')); @@ -828,6 +833,9 @@ const Settings = new Lang.Class({ this._settings.set_value('group-apps-label-font-size', this._settings.get_default_value('group-apps-label-font-size')); this._builder.get_object('group_apps_label_font_size_spinbutton').set_value(this._settings.get_int('group-apps-label-font-size')); + this._settings.set_value('group-apps-label-font-weight', this._settings.get_default_value('group-apps-label-font-weight')); + this._builder.get_object('group_apps_label_font_weight_combo').set_active_id(this._settings.get_string('group-apps-label-font-weight')); + this._settings.set_value('group-apps-label-font-color', this._settings.get_default_value('group-apps-label-font-color')); let rgba = new Gdk.RGBA(); rgba.parse(this._settings.get_string('group-apps-label-font-color')); diff --git a/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml b/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml index 4c02b35..0e5eb70 100644 --- a/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml +++ b/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml @@ -54,6 +54,13 @@ + + + + + + + 'BOTTOM' @@ -295,6 +302,11 @@ Application title font size When the applications are ungrouped, this defines the application titles font size. + + 'inherit' + Font weight of application titles + When the applications are ungrouped, this defines font weight of application titles. Supported values: inherit (from theme), normal, lighter, bold and bolder. + "#dddddd" Application title font color