From e6cdf5f2ce9aabc1d7599da4586ecb7ea9046a52 Mon Sep 17 00:00:00 2001 From: Perry Werneck Date: Thu, 9 Jan 2020 13:33:32 -0300 Subject: [PATCH] Working on UI. --- ui/window.xml | 61 +++++++++++++++++++++++++++++++++++++++++++++++++------------ 1 file changed, 49 insertions(+), 12 deletions(-) diff --git a/ui/window.xml b/ui/window.xml index 15d8ea6..4a881f5 100644 --- a/ui/window.xml +++ b/ui/window.xml @@ -224,16 +224,6 @@ win.rectselect - - Paste with left margin - win.marginedpaste - - - - Blank Fill - win.blankfill - -
@@ -379,13 +369,28 @@ Alert sound win.beep + +
+ + + Monocase + win.monocase + + + + Dynamic font spacing + win.dynamic-font-spacing + + +
+
- Select by rectangles - win.rectselect + Smart paste + win.smartpaste @@ -447,9 +452,41 @@ + Screen size + + + Model 2 - 80x24 + win.model-number + 2 + + + Model 3 - 80x32 + win.model-number + 3 + + + Model 4 - 80x43 + win.model-number + 4 + + + Model 5 - 132x27 + win.model-number + 5 + + + + + + Options + Dynamic font spacing + win.dynamic-font-spacing + + + Show toolbar win.toolbar -- libgit2 0.21.2