From 875ef391a73d14817c5f119c2c2b346c30b7ed8b Mon Sep 17 00:00:00 2001 From: Simon Schneegans Date: Sat, 8 Jan 2022 13:54:16 +0100 Subject: [PATCH] :wrench: Gtk3 fixes --- resources/ui/gtk3/prefs.ui | 298 ++++++++++++++++++------------------- 1 file changed, 148 insertions(+), 150 deletions(-) diff --git a/resources/ui/gtk3/prefs.ui b/resources/ui/gtk3/prefs.ui index 9703f23..3f15c83 100644 --- a/resources/ui/gtk3/prefs.ui +++ b/resources/ui/gtk3/prefs.ui @@ -51,177 +51,175 @@ - + General Options - + - - vertical - 60 - 60 - 30 - 30 + + vertical + 60 + 60 + 30 + 30 + + - + + none + - - none - + + 10 + 10 + 10 + 10 + 0 - - 10 - 10 - 10 - 10 - 0 + + 8 - - 8 + + Close Window Animation + 0 + start + center + 1 + + + + + center + animation-mode-list + 1 + fire - - Close Window Animation - 0 - start - center - 1 - - - - - center - animation-mode-list - 1 - fire - - - - 0 - - - - - - - - - edit-clear-symbolic - 1 - - - Reset to Default Value - + + + 0 + + + + + + + + + edit-clear-symbolic + 1 + Reset to Default Value + - - - - 10 - 10 - 10 - 10 - 0 - - - 8 - - - Animation Time [ms] - 0 - start - center - 1 - - - - - end - center - 1 - 0 - left - 300 - destroy-animation-time - - - - - - - edit-clear-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 - - - - - - - - + + + + 10 + 10 + 10 + 10 + 0 + + + 8 + + + Animation Time [ms] + 0 + start + center + 1 + + + + + end + center + 1 + 0 + left + 300 + destroy-animation-time + + + + + + + edit-clear-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 + + + + + + + + - + - +