From 70ce055b0c1d26e04132a01dbb75149debe36fc3 Mon Sep 17 00:00:00 2001 From: Simon Schneegans Date: Mon, 17 Jan 2022 17:13:27 +0100 Subject: [PATCH] :wrench: GTK3 fixes --- resources/ui/gtk3/prefs.ui | 240 ++++++++++++++++++------------------- 1 file changed, 118 insertions(+), 122 deletions(-) diff --git a/resources/ui/gtk3/prefs.ui b/resources/ui/gtk3/prefs.ui index e2dc5dce..8b704347 100644 --- a/resources/ui/gtk3/prefs.ui +++ b/resources/ui/gtk3/prefs.ui @@ -28,128 +28,63 @@ 1 - - general - General Options + + vertical + 60 + 60 + 30 + 30 + + + + center + burn-my-windows-symbolic + 128 + + + + + + Welcome to Burn-My-Windows! + 8 + 6 + + + - - - vertical - 60 - 60 - 30 - 30 + + + If you like this extension, recommend it to your friends :) + 36 + + - - - center - burn-my-windows-symbolic - 128 - - + + - - Welcome to Burn-My-Windows! - 8 - 6 - - - + + none - - - If you like this extension, recommend it to your friends :) - 36 - - - - - - - - none - + + 10 + 10 + 10 + 10 + 0 - - 10 - 10 - 10 - 10 - 0 + + 8 - 8 - - - vertical - 3 - - - Close Window Animation - 0 - start - center - 1 - - - - - If multiple are selected, one is chosen randomly. - 0 - start - center - 1 - - - - - - - - close-effect-menu - - - 8 - - - Choose Effects - - - - - pan-down-symbolic - 1 - - - - - - - - - - - - - - 10 - 10 - 10 - 10 - 0 - - - 8 + vertical + 3 - Also Burn Dialogs + Close Window Animation 0 start center @@ -157,39 +92,100 @@ - - end + + If multiple are selected, one is chosen randomly. + 0 + start center + 1 + + + + + + close-effect-menu - + + 8 + + + Choose Effects + + - edit-clear-symbolic + pan-down-symbolic 1 - Reset to Default Value - + + + + + 10 + 10 + 10 + 10 + 0 + + + 8 + + + Also Burn Dialogs + 0 + start + center + 1 + + + + + end + center + + + + + + + edit-clear-symbolic + 1 + + + Reset to Default Value + + + + + + - - - + + + general + General Options + +