summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVictor Kareh <[email protected]>2025-09-03 15:14:35 +0000
committerGitHub <[email protected]>2025-09-03 15:14:35 +0000
commit915caaaf6c1e9b5dc2f6131b785e921f9f58a223 (patch)
tree24e0041b1097acbc7562581d00c51d99400c6940
parent402a846095fb2e93adb344f0a71f4128ccfe5a32 (diff)
parentc8c63217d6244b62ddc68157b5f0bda1a35da110 (diff)
downloadmate-power-manager-github-action.tar.bz2
mate-power-manager-github-action.tar.xz
Merge branch 'master' into github-actiongithub-action
-rw-r--r--data/gpm-prefs.ui6
1 files changed, 2 insertions, 4 deletions
diff --git a/data/gpm-prefs.ui b/data/gpm-prefs.ui
index 996fc60..070028d 100644
--- a/data/gpm-prefs.ui
+++ b/data/gpm-prefs.ui
@@ -23,6 +23,7 @@
<property name="title" translatable="yes">Power Management Preferences</property>
<property name="icon_name">mate-power-manager</property>
<property name="type_hint">dialog</property>
+ <property name="border-width">5</property>
<signal name="delete-event" handler="on_dialog_preferences_delete_event" swapped="no"/>
<child>
<placeholder/>
@@ -94,10 +95,7 @@
<object class="GtkNotebook" id="notebook_preferences">
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="margin_left">12</property>
- <property name="margin_right">12</property>
- <property name="margin_top">12</property>
- <property name="margin_bottom">12</property>
+ <property name="border-width">5</property>
<child>
<object class="GtkBox" id="box_ac">
<property name="visible">True</property>