diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-12-15 18:56:31 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-12-15 18:56:31 +0200 |
commit | 01c298520d7b6d9ad268d59a6d2a0b99c5cded78 (patch) | |
tree | 915d2736e4420e2cc93975ee91d04eb82d1ad367 /src/ui/util.c | |
parent | f8dac44a38ee4dc6472f5d01f66ca9cd7ac1adec (diff) |
Preferences: Option for cursor blinking
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index db24b6fc..a46c7f80 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2629,9 +2629,8 @@ iWidget *makePreferences_Widget(void) { | |||
2629 | } | 2629 | } |
2630 | /* User Interface. */ { | 2630 | /* User Interface. */ { |
2631 | appendTwoColumnTabPage_Widget(tabs, "${heading.prefs.interface}", '2', &headings, &values); | 2631 | appendTwoColumnTabPage_Widget(tabs, "${heading.prefs.interface}", '2', &headings, &values); |
2632 | #if defined (LAGRANGE_ENABLE_CUSTOM_FRAME) | 2632 | addDialogToggle_(headings, values, "${prefs.animate}", "prefs.animate"); |
2633 | addDialogToggle_(headings, values, "${prefs.customframe}", "prefs.customframe"); | 2633 | addDialogToggle_(headings, values, "${prefs.blink}", "prefs.blink"); |
2634 | #endif | ||
2635 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.returnkey}"))); | 2634 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.returnkey}"))); |
2636 | /* Return key behaviors. */ { | 2635 | /* Return key behaviors. */ { |
2637 | iLabelWidget *returnKey = makeMenuButton_LabelWidget( | 2636 | iLabelWidget *returnKey = makeMenuButton_LabelWidget( |
@@ -2645,7 +2644,9 @@ iWidget *makePreferences_Widget(void) { | |||
2645 | setId_Widget(addChildFlags_Widget(values, iClob(returnKey), alignLeft_WidgetFlag), | 2644 | setId_Widget(addChildFlags_Widget(values, iClob(returnKey), alignLeft_WidgetFlag), |
2646 | "prefs.returnkey"); | 2645 | "prefs.returnkey"); |
2647 | } | 2646 | } |
2648 | addDialogToggle_(headings, values, "${prefs.animate}", "prefs.animate"); | 2647 | #if defined (LAGRANGE_ENABLE_CUSTOM_FRAME) |
2648 | addDialogToggle_(headings, values, "${prefs.customframe}", "prefs.customframe"); | ||
2649 | #endif | ||
2649 | makeTwoColumnHeading_("${heading.prefs.scrolling}", headings, values); | 2650 | makeTwoColumnHeading_("${heading.prefs.scrolling}", headings, values); |
2650 | addDialogToggle_(headings, values, "${prefs.smoothscroll}", "prefs.smoothscroll"); | 2651 | addDialogToggle_(headings, values, "${prefs.smoothscroll}", "prefs.smoothscroll"); |
2651 | /* Scroll speeds. */ { | 2652 | /* Scroll speeds. */ { |