@@ -2,25 +2,10 @@ local Widget = require('gui.widgets.widget')
22
33local to_pen = dfhack .pen .parse
44
5- --- @enum STANDARDSCROLL
6- STANDARDSCROLL = {
7- STANDARDSCROLL_UP = - 1 ,
8- KEYBOARD_CURSOR_UP = - 1 ,
9- STANDARDSCROLL_DOWN = 1 ,
10- KEYBOARD_CURSOR_DOWN = 1 ,
11- STANDARDSCROLL_PAGEUP = ' -page' ,
12- KEYBOARD_CURSOR_UP_FAST = ' -page' ,
13- STANDARDSCROLL_PAGEDOWN = ' +page' ,
14- KEYBOARD_CURSOR_DOWN_FAST = ' +page' ,
15- }
16-
175---- -----------
186-- Scrollbar --
197---- -----------
208
21- SCROLL_INITIAL_DELAY_MS = 300
22- SCROLL_DELAY_MS = 20
23-
249--- @class widgets.Scrollbar.attrs : widgets.Widget.attrs
2510--- @field on_scroll ? fun ( new_top_elem ?: integer )
2611
@@ -217,7 +202,7 @@ function Scrollbar:onRenderBody(dc)
217202 if self .last_scroll_ms == 0 then return end
218203 local now = dfhack .getTickCount ()
219204 local delay = self .is_first_click and
220- SCROLL_INITIAL_DELAY_MS or SCROLL_DELAY_MS
205+ Scrollbar . SCROLL_INITIAL_DELAY_MS or Scrollbar . SCROLL_DELAY_MS
221206 if now - self .last_scroll_ms >= delay then
222207 self .is_first_click = false
223208 self .on_scroll (self .scroll_spec )
@@ -265,8 +250,18 @@ function Scrollbar:onInput(keys)
265250 return true
266251end
267252
268- Scrollbar .STANDARDSCROLL = STANDARDSCROLL
269- Scrollbar .SCROLL_INITIAL_DELAY_MS = SCROLL_INITIAL_DELAY_MS
270- Scrollbar .SCROLL_DELAY_MS = SCROLL_DELAY_MS
253+ --- @enum STANDARDSCROLL
254+ Scrollbar .STANDARDSCROLL = {
255+ STANDARDSCROLL_UP = - 1 ,
256+ KEYBOARD_CURSOR_UP = - 1 ,
257+ STANDARDSCROLL_DOWN = 1 ,
258+ KEYBOARD_CURSOR_DOWN = 1 ,
259+ STANDARDSCROLL_PAGEUP = ' -page' ,
260+ KEYBOARD_CURSOR_UP_FAST = ' -page' ,
261+ STANDARDSCROLL_PAGEDOWN = ' +page' ,
262+ KEYBOARD_CURSOR_DOWN_FAST = ' +page' ,
263+ }
264+ Scrollbar .SCROLL_INITIAL_DELAY_MS = 300
265+ Scrollbar .SCROLL_DELAY_MS = 20
271266
272267return Scrollbar
0 commit comments