feat: active-hint-border-radius

Author: bennypowers

dark.css

@@ -1,7 +1,7 @@
 .pop-shell-active-hint {
     border-style: solid;
     border-color: #FBB86C;
-    border-radius: 5px;
+    border-radius: var(--active-hint-border-radius, 5px);
     box-shadow: inset 0 0 0 1px rgba(24, 23, 23, 0)
 }
 

highcontrast.css

@@ -1,7 +1,7 @@
 .pop-shell-active-hint {
     border-style: solid;
     border-color: #FBB86C;
-    border-radius: 5px;
+    border-radius: var(--active-hint-border-radius, 5px);
     box-shadow: inset 0 0 0 1px rgba(24, 23, 23, 0)
 }
 
@@ -58,4 +58,4 @@
 
 .pop-shell-entry:indeterminate {
     font-style: italic
-}
+}

light.css

@@ -1,7 +1,7 @@
 .pop-shell-active-hint {
     border-style: solid;
     border-color: #FFAD00;
-    border-radius: 5px;
+    border-radius: var(--active-hint-border-radius, 5px);
     box-shadow: inset 0 0 0 1px rgba(200, 200, 200, 0);
 }
 

schemas/org.gnome.shell.extensions.pop-shell.gschema.xml

@@ -7,6 +7,11 @@
             <summary>Show a hint around the active window</summary>
         </key>
 
+        <key type="u" name="active-hint-border-radius">
+            <default>5</default>
+            <summary>Border radius for active window hint, in pixels</summary>
+        </key>
+
         <key type="b" name="fullscreen-launcher">
             <default>false</default>
             <summary>Allow showing launcher above fullscreen windows</summary>

src/panel_settings.ts

@@ -16,6 +16,7 @@ export class Indicator {
     toggle_tiled : any
     toggle_titles: null | any
     toggle_active: any
+    border_radius: any
 
     entry_gaps: any
 
@@ -64,6 +65,14 @@ export class Indicator {
             }
         )
 
+        this.border_radius = number_entry(
+            _("Active Border Radius"),
+            ext.settings.active_hint_border_radius(),
+            (value) => {
+                ext.settings.set_active_hint_border_radius(value);
+            }
+        )
+
         bm.addMenuItem(this.toggle_tiled);
         bm.addMenuItem(floating_window_exceptions(ext, bm));
 
@@ -78,6 +87,7 @@ export class Indicator {
         }
 
         bm.addMenuItem(this.toggle_active);
+        bm.addMenuItem(this.border_radius);
 
         // CSS Selector
         bm.addMenuItem(color_selector(ext, bm),);
@@ -345,4 +355,4 @@ function color_selector(ext: Ext, menu: any) {
     });
 
     return color_selector_item;
-}
+}

src/settings.ts

@@ -48,6 +48,7 @@ function settings_new_schema(schema: string): Settings {
 }
 
 const ACTIVE_HINT = "active-hint";
+const ACTIVE_HINT_BORDER_RADIUS = "active-hint-border-radius";
 const COLUMN_SIZE = "column-size";
 const EDGE_TILING = "edge-tiling";
 const FULLSCREEN_LAUNCHER = "fullscreen-launcher"
@@ -76,6 +77,10 @@ export class ExtensionSettings {
         return this.ext.get_boolean(ACTIVE_HINT);
     }
 
+    active_hint_border_radius(): number {
+        return this.ext.get_uint(ACTIVE_HINT_BORDER_RADIUS);
+    }
+
     column_size(): number {
         return this.ext.get_uint(COLUMN_SIZE);
     }
@@ -168,6 +173,10 @@ export class ExtensionSettings {
         this.ext.set_boolean(ACTIVE_HINT, set);
     }
 
+    set_active_hint_border_radius(set: number) {
+        this.ext.set_uint(ACTIVE_HINT_BORDER_RADIUS, set);
+    }
+
     set_column_size(size: number) {
         this.ext.set_uint(COLUMN_SIZE, size);
     }

src/window.ts

@@ -189,8 +189,7 @@ export class ShellWindow {
             this.ext.overlay.set_style(`background: ${gdk.to_string()}`);
         }
 
-        if (this.border)
-            this.border.set_style(`border-color: ${color_value}`);
+        this.update_border_style()
     }
 
     cmdline(): string | null {
@@ -418,6 +417,7 @@ export class ShellWindow {
         if (!this.border) return
 
         this.restack();
+        this.update_border_style();
         if (this.ext.settings.active_hint()) {
             let border = this.border;
 
@@ -627,6 +627,15 @@ export class ShellWindow {
         }
     }
 
+    update_border_style() {
+        const { settings } = this.ext
+        const color_value = settings.hint_color_rgba();
+        const radius_value = settings.active_hint_border_radius();
+        if (this.border) {
+            this.border.set_style(`border-color: ${color_value}; border-radius: ${radius_value}px;`);
+        }
+    }
+
     private wm_class_changed() {
         if (this.is_tilable(this.ext)) {
             this.ext.connect_window(this);