diff options
Diffstat (limited to 'src/ui')
-rw-r--r-- | src/ui/util.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index eb0ee661..9713d55f 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2068,8 +2068,10 @@ iWidget *makePreferences_Widget(void) { | |||
2068 | } | 2068 | } |
2069 | makeTwoColumnHeading_("${heading.prefs.sizing}", headings, values); | 2069 | makeTwoColumnHeading_("${heading.prefs.sizing}", headings, values); |
2070 | addPrefsInputWithHeading_(headings, values, "prefs.uiscale", iClob(new_InputWidget(8))); | 2070 | addPrefsInputWithHeading_(headings, values, "prefs.uiscale", iClob(new_InputWidget(8))); |
2071 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.retainwindow}"))); | 2071 | if (deviceType_App() == desktop_AppDeviceType) { |
2072 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.retainwindow"))); | 2072 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.retainwindow}"))); |
2073 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.retainwindow"))); | ||
2074 | } | ||
2073 | } | 2075 | } |
2074 | /* Colors. */ { | 2076 | /* Colors. */ { |
2075 | appendTwoColumnPage_(tabs, "${heading.prefs.colors}", '3', &headings, &values); | 2077 | appendTwoColumnPage_(tabs, "${heading.prefs.colors}", '3', &headings, &values); |