@@ -202,26 +202,26 @@ PREFERENCES_BY_IDX = {
202202 desc = ' How long to wait for the second click of a double click, in ms.' ,
203203 default = 500 ,
204204 min = 50 ,
205- get_fn = function () return widgets .DOUBLE_CLICK_MS end ,
206- set_fn = function ( val ) widgets .DOUBLE_CLICK_MS = val end ,
205+ get_fn = widgets .getDoubleClickMs ,
206+ set_fn = widgets .setDoubleClickMs ,
207207 },
208208 {
209209 name = ' SCROLL_DELAY_MS' ,
210210 label = ' Mouse scroll repeat delay (ms)' ,
211211 desc = ' The delay between events when holding the mouse button down on a scrollbar, in ms.' ,
212212 default = 20 ,
213213 min = 5 ,
214- get_fn = function () return widgets .SCROLL_DELAY_MS end ,
215- set_fn = function ( val ) widgets .SCROLL_DELAY_MS = val end ,
214+ get_fn = widgets .getScrollDelayMs ,
215+ set_fn = widgets .setScrollDelayMs ,
216216 },
217217 {
218218 name = ' SCROLL_INITIAL_DELAY_MS' ,
219219 label = ' Mouse initial scroll repeat delay (ms)' ,
220220 desc = ' The delay before scrolling quickly when holding the mouse button down on a scrollbar, in ms.' ,
221221 default = 300 ,
222222 min = 5 ,
223- get_fn = function () return widgets .SCROLL_INITIAL_DELAY_MS end ,
224- set_fn = function ( val ) widgets .SCROLL_INITIAL_DELAY_MS = val end ,
223+ get_fn = widgets .getScrollInitialDelayMs ,
224+ set_fn = widgets .setScrollInitialDelayMs ,
225225 },
226226}
227227
0 commit comments