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/app.c | |
parent | f8dac44a38ee4dc6472f5d01f66ca9cd7ac1adec (diff) |
Preferences: Option for cursor blinking
Diffstat (limited to 'src/app.c')
-rw-r--r-- | src/app.c | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -258,6 +258,7 @@ static iString *serializePrefs_App_(const iApp *d) { | |||
258 | { "prefs.bookmarks.addbottom", &d->prefs.addBookmarksToBottom }, | 258 | { "prefs.bookmarks.addbottom", &d->prefs.addBookmarksToBottom }, |
259 | { "prefs.archive.openindex", &d->prefs.openArchiveIndexPages }, | 259 | { "prefs.archive.openindex", &d->prefs.openArchiveIndexPages }, |
260 | { "prefs.font.warnmissing", &d->prefs.warnAboutMissingGlyphs }, | 260 | { "prefs.font.warnmissing", &d->prefs.warnAboutMissingGlyphs }, |
261 | { "prefs.blink", &d->prefs.blinkingCursor }, | ||
261 | }; | 262 | }; |
262 | iForIndices(i, boolPrefs) { | 263 | iForIndices(i, boolPrefs) { |
263 | appendFormat_String(str, "%s.changed arg:%d\n", boolPrefs[i].id, *boolPrefs[i].value); | 264 | appendFormat_String(str, "%s.changed arg:%d\n", boolPrefs[i].id, *boolPrefs[i].value); |
@@ -2600,6 +2601,10 @@ iBool handleCommand_App(const char *cmd) { | |||
2600 | d->prefs.uiAnimations = arg_Command(cmd) != 0; | 2601 | d->prefs.uiAnimations = arg_Command(cmd) != 0; |
2601 | return iTrue; | 2602 | return iTrue; |
2602 | } | 2603 | } |
2604 | else if (equal_Command(cmd, "prefs.blink.changed")) { | ||
2605 | d->prefs.blinkingCursor = arg_Command(cmd) != 0; | ||
2606 | return iTrue; | ||
2607 | } | ||
2603 | else if (equal_Command(cmd, "prefs.time.24h.changed")) { | 2608 | else if (equal_Command(cmd, "prefs.time.24h.changed")) { |
2604 | d->prefs.time24h = arg_Command(cmd) != 0; | 2609 | d->prefs.time24h = arg_Command(cmd) != 0; |
2605 | return iTrue; | 2610 | return iTrue; |
@@ -2911,6 +2916,8 @@ iBool handleCommand_App(const char *cmd) { | |||
2911 | iWidget *dlg = makePreferences_Widget(); | 2916 | iWidget *dlg = makePreferences_Widget(); |
2912 | updatePrefsThemeButtons_(dlg); | 2917 | updatePrefsThemeButtons_(dlg); |
2913 | setText_InputWidget(findChild_Widget(dlg, "prefs.downloads"), &d->prefs.strings[downloadDir_PrefsString]); | 2918 | setText_InputWidget(findChild_Widget(dlg, "prefs.downloads"), &d->prefs.strings[downloadDir_PrefsString]); |
2919 | /* TODO: Use a common table in Prefs to do this more conviently. | ||
2920 | Also see `serializePrefs_App_()`. */ | ||
2914 | setToggle_Widget(findChild_Widget(dlg, "prefs.hoverlink"), d->prefs.hoverLink); | 2921 | setToggle_Widget(findChild_Widget(dlg, "prefs.hoverlink"), d->prefs.hoverLink); |
2915 | setToggle_Widget(findChild_Widget(dlg, "prefs.smoothscroll"), d->prefs.smoothScrolling); | 2922 | setToggle_Widget(findChild_Widget(dlg, "prefs.smoothscroll"), d->prefs.smoothScrolling); |
2916 | setToggle_Widget(findChild_Widget(dlg, "prefs.imageloadscroll"), d->prefs.loadImageInsteadOfScrolling); | 2923 | setToggle_Widget(findChild_Widget(dlg, "prefs.imageloadscroll"), d->prefs.loadImageInsteadOfScrolling); |
@@ -2921,7 +2928,7 @@ iBool handleCommand_App(const char *cmd) { | |||
2921 | setToggle_Widget(findChild_Widget(dlg, "prefs.ostheme"), d->prefs.useSystemTheme); | 2928 | setToggle_Widget(findChild_Widget(dlg, "prefs.ostheme"), d->prefs.useSystemTheme); |
2922 | setToggle_Widget(findChild_Widget(dlg, "prefs.customframe"), d->prefs.customFrame); | 2929 | setToggle_Widget(findChild_Widget(dlg, "prefs.customframe"), d->prefs.customFrame); |
2923 | setToggle_Widget(findChild_Widget(dlg, "prefs.animate"), d->prefs.uiAnimations); | 2930 | setToggle_Widget(findChild_Widget(dlg, "prefs.animate"), d->prefs.uiAnimations); |
2924 | // setText_InputWidget(findChild_Widget(dlg, "prefs.userfont"), &d->prefs.symbolFontPath); | 2931 | setToggle_Widget(findChild_Widget(dlg, "prefs.blink"), d->prefs.blinkingCursor); |
2925 | updatePrefsPinSplitButtons_(dlg, d->prefs.pinSplit); | 2932 | updatePrefsPinSplitButtons_(dlg, d->prefs.pinSplit); |
2926 | updateScrollSpeedButtons_(dlg, mouse_ScrollType, d->prefs.smoothScrollSpeed[mouse_ScrollType]); | 2933 | updateScrollSpeedButtons_(dlg, mouse_ScrollType, d->prefs.smoothScrollSpeed[mouse_ScrollType]); |
2927 | updateScrollSpeedButtons_(dlg, keyboard_ScrollType, d->prefs.smoothScrollSpeed[keyboard_ScrollType]); | 2934 | updateScrollSpeedButtons_(dlg, keyboard_ScrollType, d->prefs.smoothScrollSpeed[keyboard_ScrollType]); |
@@ -2933,13 +2940,6 @@ iBool handleCommand_App(const char *cmd) { | |||
2933 | setToggle_Widget(findChild_Widget(dlg, "prefs.retainwindow"), d->prefs.retainWindowSize); | 2940 | setToggle_Widget(findChild_Widget(dlg, "prefs.retainwindow"), d->prefs.retainWindowSize); |
2934 | setText_InputWidget(findChild_Widget(dlg, "prefs.uiscale"), | 2941 | setText_InputWidget(findChild_Widget(dlg, "prefs.uiscale"), |
2935 | collectNewFormat_String("%g", uiScale_Window(as_Window(d->window)))); | 2942 | collectNewFormat_String("%g", uiScale_Window(as_Window(d->window)))); |
2936 | // setFlags_Widget(findChild_Widget(dlg, format_CStr("prefs.font.%d", d->prefs.font)), | ||
2937 | // selected_WidgetFlag, | ||
2938 | // iTrue); | ||
2939 | // setFlags_Widget( | ||
2940 | // findChild_Widget(dlg, format_CStr("prefs.headingfont.%d", d->prefs.headingFont)), | ||
2941 | // selected_WidgetFlag, | ||
2942 | // iTrue); | ||
2943 | setFlags_Widget(findChild_Widget(dlg, "prefs.mono.gemini"), | 2943 | setFlags_Widget(findChild_Widget(dlg, "prefs.mono.gemini"), |
2944 | selected_WidgetFlag, | 2944 | selected_WidgetFlag, |
2945 | d->prefs.monospaceGemini); | 2945 | d->prefs.monospaceGemini); |