summaryrefslogtreecommitdiff
path: root/src/ui/util.c
diff options
context:
space:
mode:
authorJaakko Keränen <jaakko.keranen@iki.fi>2021-12-15 18:56:31 +0200
committerJaakko Keränen <jaakko.keranen@iki.fi>2021-12-15 18:56:31 +0200
commit01c298520d7b6d9ad268d59a6d2a0b99c5cded78 (patch)
tree915d2736e4420e2cc93975ee91d04eb82d1ad367 /src/ui/util.c
parentf8dac44a38ee4dc6472f5d01f66ca9cd7ac1adec (diff)
Preferences: Option for cursor blinking
Diffstat (limited to 'src/ui/util.c')
-rw-r--r--src/ui/util.c9
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. */ {