[GTK] Reduce button.toggle padding on GTK 4

akurtakov · akurtakov · commit 6748179e7fc4 · 2025-06-11T20:11:47.000+03:00
Add css file for gtk4 and start accomodating content in it.
diff --git a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/swt_theming_fixes_gtk_4_0_0.css b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/swt_theming_fixes_gtk_4_0_0.css
@@ -0,0 +1,3 @@
+button.toggle {
+	padding: 0px;
+}
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/Device.java
@@ -787,6 +787,9 @@ private void overrideThemeValues () {
 		if (GTK.GTK_VERSION >= OS.VERSION(3, 24, 5)) {
 			combinedCSS.append(load.apply("/org/eclipse/swt/internal/gtk/swt_theming_fixes_gtk_3_24_5.css", true));
 		}
+		if (GTK.GTK4) {
+			combinedCSS.append(load.apply("/org/eclipse/swt/internal/gtk/swt_theming_fixes_gtk_4_0_0.css", true));
+		}
 	}
 
 	// Load CSS from user-defined CSS file.

Original file line number	Diff line number	Diff line change
`@@ -787,6 +787,9 @@ private void overrideThemeValues () {`
`787`	`787`	`if (GTK.GTK_VERSION >= OS.VERSION(3, 24, 5)) {`
`788`	`788`	`combinedCSS.append(load.apply("/org/eclipse/swt/internal/gtk/swt_theming_fixes_gtk_3_24_5.css", true));`
`789`	`789`	`}`
	`790`	`+ if (GTK.GTK4) {`
	`791`	`+ combinedCSS.append(load.apply("/org/eclipse/swt/internal/gtk/swt_theming_fixes_gtk_4_0_0.css", true));`
	`792`	`+ }`
`790`	`793`	`}`
`791`	`794`
`792`	`795`	`// Load CSS from user-defined CSS file.`