Merge pull request #454 from SpikedPaladin/list-ui-fix

Use proper margins for icons in local extensions list
mjakeman · Aug 17, 2023 · 2808908 · 2808908
2 parents 1cb8d92 + 105ac5d
commit 2808908
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/exm-extension-row.blp b/src/exm-extension-row.blp
@@ -32,6 +32,9 @@ template ExmExtensionRow : Adw.ExpanderRow {
 		valign: center;
 		halign: center;
 
+		margin-start: 9;
+		margin-end: 9;
+
 		visible: false;
 
 		tooltip-text: _("An error occurred while loading this extension");
@@ -45,6 +48,9 @@ template ExmExtensionRow : Adw.ExpanderRow {
 		valign: center;
 		halign: center;
 
+		margin-start: 9;
+		margin-end: 9;
+
 		visible: false;
 
 		tooltip-text: _("This extension is incompatible with your current version of GNOME");
@@ -58,6 +64,9 @@ template ExmExtensionRow : Adw.ExpanderRow {
 		valign: center;
 		halign: center;
 
+		margin-start: 9;
+		margin-end: 9;
+
 		visible: false;
 
 		tooltip-text: _("A newer version of this extension is available");