src/widget.cpp
changeset 8969 6d1c74e0e2cd
parent 8857 7593af4962e6
child 9111 48ce04029fe4
equal deleted inserted replaced
8968:c3206e3f051a 8969:6d1c74e0e2cd
    84 			sb = &w->hscroll;
    84 			sb = &w->hscroll;
    85 			break;
    85 			break;
    86 
    86 
    87 		default: NOT_REACHED();
    87 		default: NOT_REACHED();
    88 	}
    88 	}
    89 	if (pos <= mi+9) {
    89 	if (pos <= mi + 9) {
    90 		/* Pressing the upper button? */
    90 		/* Pressing the upper button? */
    91 		w->flags4 |= WF_SCROLL_UP;
    91 		w->flags4 |= WF_SCROLL_UP;
    92 		if (_scroller_click_timeout == 0) {
    92 		if (_scroller_click_timeout == 0) {
    93 			_scroller_click_timeout = 6;
    93 			_scroller_click_timeout = 6;
    94 			if (sb->pos != 0) sb->pos--;
    94 			if (sb->pos != 0) sb->pos--;