diff options
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index 3240b416..653102cb 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2568,6 +2568,8 @@ iWidget *makePreferences_Widget(void) { | |||
2568 | addDialogPadding_(headings, values); | 2568 | addDialogPadding_(headings, values); |
2569 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.font.ui}"))); | 2569 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.font.ui}"))); |
2570 | addFontButtons_(values, "ui"); | 2570 | addFontButtons_(values, "ui"); |
2571 | addDialogPadding_(headings, values); | ||
2572 | addDialogToggle_(headings, values, "${prefs.font.smooth}", "prefs.font.smooth"); | ||
2571 | // addDialogPadding_(headings, values); | 2573 | // addDialogPadding_(headings, values); |
2572 | // /* Custom font. */ { | 2574 | // /* Custom font. */ { |
2573 | // iInputWidget *customFont = new_InputWidget(0); | 2575 | // iInputWidget *customFont = new_InputWidget(0); |