2023-11-11 18:00:54 +00:00
|
|
|
on.update = function()
|
|
|
|
refresh_debug_animations()
|
2023-11-19 21:15:06 +00:00
|
|
|
if Current_pane.editor_state.scrollbar_drag then
|
|
|
|
adjust_scrollbar(Current_pane.editor_state, App.mouse_y())
|
|
|
|
elseif Current_pane.output_editor_state.scrollbar_drag then
|
|
|
|
adjust_scrollbar(Current_pane.output_editor_state, App.mouse_y())
|
2023-11-18 13:26:28 +00:00
|
|
|
end
|
|
|
|
end
|