summaryrefslogtreecommitdiff
path: root/src/ui/util.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/ui/util.c')
-rw-r--r--src/ui/util.c19
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) {