src/widget.cpp
branchNewGRF_ports
changeset 10242 52b4a9006029
parent 10184 fcf5fb2548eb
child 10724 68a692eacf22
equal deleted inserted replaced
10211:c1391c8ed5c6 10242:52b4a9006029
    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--;