diff: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 729
- 81b698792386
- parent 699
- 148618eff948
- child 777
- 622efebfab37
--- a/ui/gtk/toolkit.c Mon Aug 25 20:33:26 2025 +0200 +++ b/ui/gtk/toolkit.c Tue Aug 26 12:43:52 2025 +0200 @@ -404,6 +404,9 @@ " margin-left: 4px;" " margin-right: 4px;" "}\n" +".ui-nopadding {" +" padding: 0;" +"}\n" ; #elif GTK_MAJOR_VERSION == 3 @@ -446,6 +449,9 @@ " margin-left: 4px;" " margin-right: 4px;" "}\n" +".ui-nopadding {" +" padding: 0;" +"}\n" ; #endif
