active border radius minimum zero (#1523)

* active border radius minimum zero This changes the lower bound for the Active Border Radius to zero per user request #1522. This does not change the default value. * gsettings min set to 0
pop-os · Sep 29, 2022 · aaf86e4 · aaf86e4
1 parent f0e9232
commit aaf86e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/schemas/org.gnome.shell.extensions.pop-shell.gschema.xml b/schemas/org.gnome.shell.extensions.pop-shell.gschema.xml
@@ -9,7 +9,7 @@
 
         <key type="u" name="active-hint-border-radius">
             <default>5</default>
-            <range min="5" max="30"/>
+            <range min="0" max="30"/>
             <summary>Border radius for active window hint, in pixels</summary>
         </key>
 

diff --git a/src/panel_settings.ts b/src/panel_settings.ts
@@ -69,7 +69,7 @@ export class Indicator {
             _("Active Border Radius"),
             {
               value: ext.settings.active_hint_border_radius(),
-              min: 5,
+              min: 0,
               max: 30
             },
             (value) => {
-Original file line number
+Diff line change
@@ Expand Up / @@ -69,7 +69,7 @@ export class Indicator { @@
                 _("Active Border Radius"),
                 {
                   value: ext.settings.active_hint_border_radius(),
-                  min: 5,
+                  min: 0,
                   max: 30
                 },
                 (value) => {
@@ Expand Down @@