diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-29 08:06:19 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-29 08:06:19 +0300 |
commit | 55e0f439cc4c32df2d280487031f789b63a9e287 (patch) | |
tree | d94e71788d767e1023dc2c0bec4712093ca5ff37 /src/ui/util.c | |
parent | 53a3381dc9ccf9ca50b99b16bcc82919e9f31e4d (diff) |
Preferences: Added toggle for UI animations
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 edac214f..c4fb8886 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -1698,6 +1698,8 @@ iWidget *makePreferences_Widget(void) { | |||
1698 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.customframe}"))); | 1698 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.customframe}"))); |
1699 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.customframe"))); | 1699 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.customframe"))); |
1700 | #endif | 1700 | #endif |
1701 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.animate}"))); | ||
1702 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.animate"))); | ||
1701 | makeTwoColumnHeading_("${heading.prefs.scrolling}", headings, values); | 1703 | makeTwoColumnHeading_("${heading.prefs.scrolling}", headings, values); |
1702 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.smoothscroll}"))); | 1704 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.smoothscroll}"))); |
1703 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.smoothscroll"))); | 1705 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.smoothscroll"))); |