diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-02-13 21:15:51 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-02-13 21:16:15 +0200 |
commit | d2f3c851a7273f35f128d4ea58b752251c5d5001 (patch) | |
tree | e0333a1e41e5e53f6b9de0e52ec38e0d69ea8e02 /src/ui/util.c | |
parent | b8673100bd8d02dcfc997260fd6dc297287b8c71 (diff) |
Windows: Custom frame preference; further minor tweaks
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index d64a93b6..75a770eb 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -1083,10 +1083,15 @@ iWidget *makePreferences_Widget(void) { | |||
1083 | setId_Widget(addChild_Widget(themes, iClob(new_LabelWidget("Pure White", "theme.set arg:3"))), "prefs.theme.3"); | 1083 | setId_Widget(addChild_Widget(themes, iClob(new_LabelWidget("Pure White", "theme.set arg:3"))), "prefs.theme.3"); |
1084 | } | 1084 | } |
1085 | addChildFlags_Widget(values, iClob(themes), arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag); | 1085 | addChildFlags_Widget(values, iClob(themes), arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag); |
1086 | addChild_Widget(headings, iClob(makeHeading_Widget("Retain window size:"))); | 1086 | #if defined (LAGRANGE_CUSTOM_FRAME) |
1087 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.retainwindow"))); | 1087 | addChild_Widget(headings, iClob(makeHeading_Widget("Custom window frame:"))); |
1088 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.customframe"))); | ||
1089 | #endif | ||
1090 | makeTwoColumnHeading_("SIZING", headings, values); | ||
1088 | addChild_Widget(headings, iClob(makeHeading_Widget("UI scale factor:"))); | 1091 | addChild_Widget(headings, iClob(makeHeading_Widget("UI scale factor:"))); |
1089 | setId_Widget(addChild_Widget(values, iClob(new_InputWidget(8))), "prefs.uiscale"); | 1092 | setId_Widget(addChild_Widget(values, iClob(new_InputWidget(8))), "prefs.uiscale"); |
1093 | addChild_Widget(headings, iClob(makeHeading_Widget("Retain placement:"))); | ||
1094 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.retainwindow"))); | ||
1090 | makeTwoColumnHeading_("WIDE LAYOUT", headings, values); | 1095 | makeTwoColumnHeading_("WIDE LAYOUT", headings, values); |
1091 | addChild_Widget(headings, iClob(makeHeading_Widget("Site icon:"))); | 1096 | addChild_Widget(headings, iClob(makeHeading_Widget("Site icon:"))); |
1092 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.sideicon"))); | 1097 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.sideicon"))); |