diff options
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index d68274ad..220e3a50 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -1678,6 +1678,25 @@ iWidget *makePreferences_Widget(void) { | |||
1678 | makeTwoColumnHeading_("${heading.prefs.scrolling}", headings, values); | 1678 | makeTwoColumnHeading_("${heading.prefs.scrolling}", headings, values); |
1679 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.smoothscroll}"))); | 1679 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.smoothscroll}"))); |
1680 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.smoothscroll"))); | 1680 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.smoothscroll"))); |
1681 | /* Scroll speeds. */ { | ||
1682 | for (int type = 0; type < max_ScrollType; type++) { | ||
1683 | const char *typeStr = (type == mouse_ScrollType ? "mouse" : "keyboard"); | ||
1684 | addChild_Widget(headings, | ||
1685 | iClob(makeHeading_Widget(type == mouse_ScrollType | ||
1686 | ? "${prefs.scrollspeed.mouse}" | ||
1687 | : "${prefs.scrollspeed.keyboard}"))); | ||
1688 | iWidget *scrollSpeed = new_Widget(); | ||
1689 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.7", typeStr), "0", format_CStr("scrollspeed arg:7 type:%d", type)); | ||
1690 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.10", typeStr), "1", format_CStr("scrollspeed arg:10 type:%d", type)); | ||
1691 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.13", typeStr), "2", format_CStr("scrollspeed arg:13 type:%d", type)); | ||
1692 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.17", typeStr), "3", format_CStr("scrollspeed arg:17 type:%d", type)); | ||
1693 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.23", typeStr), "4", format_CStr("scrollspeed arg:23 type:%d", type)); | ||
1694 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.30", typeStr), "5", format_CStr("scrollspeed arg:30 type:%d", type)); | ||
1695 | addRadioButton_(scrollSpeed, format_CStr("prefs.scrollspeed.%s.40", typeStr), "6", format_CStr("scrollspeed arg:40 type:%d", type)); | ||
1696 | addChildFlags_Widget( | ||
1697 | values, iClob(scrollSpeed), arrangeHorizontal_WidgetFlag | arrangeSize_WidgetFlag); | ||
1698 | } | ||
1699 | } | ||
1681 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.imageloadscroll}"))); | 1700 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.imageloadscroll}"))); |
1682 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.imageloadscroll"))); | 1701 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.imageloadscroll"))); |
1683 | if (deviceType_App() == phone_AppDeviceType) { | 1702 | if (deviceType_App() == phone_AppDeviceType) { |