summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ui/util.c8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/ui/util.c b/src/ui/util.c
index 258da04a..541cf5d6 100644
--- a/src/ui/util.c
+++ b/src/ui/util.c
@@ -1105,10 +1105,10 @@ iWidget *makePreferences_Widget(void) {
1105 iWidget *widths = new_Widget(); 1105 iWidget *widths = new_Widget();
1106 /* Line widths. */ { 1106 /* Line widths. */ {
1107 addRadioButton_(widths, "prefs.linewidth.30", "\u20132", "linewidth.set arg:30"); 1107 addRadioButton_(widths, "prefs.linewidth.30", "\u20132", "linewidth.set arg:30");
1108 addRadioButton_(widths, "prefs.linewidth.35", "\u20131", "linewidth.set arg:35"); 1108 addRadioButton_(widths, "prefs.linewidth.34", "\u20131", "linewidth.set arg:34");
1109 addRadioButton_(widths, "prefs.linewidth.40", "Normal", "linewidth.set arg:40"); 1109 addRadioButton_(widths, "prefs.linewidth.38", "Normal", "linewidth.set arg:38");
1110 addRadioButton_(widths, "prefs.linewidth.45", "+1", "linewidth.set arg:45"); 1110 addRadioButton_(widths, "prefs.linewidth.43", "+1", "linewidth.set arg:43");
1111 addRadioButton_(widths, "prefs.linewidth.50", "+2", "linewidth.set arg:50"); 1111 addRadioButton_(widths, "prefs.linewidth.48", "+2", "linewidth.set arg:48");
1112 addRadioButton_(widths, "prefs.linewidth.1000", "Window", "linewidth.set arg:1000"); 1112 addRadioButton_(widths, "prefs.linewidth.1000", "Window", "linewidth.set arg:1000");
1113 } 1113 }
1114 addChildFlags_Widget(values, iClob(widths), arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag); 1114 addChildFlags_Widget(values, iClob(widths), arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag);