2023-01-26 04:11:22 +00:00
|
|
|
on.update = function(dt)
|
2023-06-23 02:18:02 +01:00
|
|
|
if Global_state.thread then
|
|
|
|
update_all_editors(Global_state.thread, dt)
|
|
|
|
end
|
2023-01-26 04:11:22 +00:00
|
|
|
if Pan then
|
|
|
|
set_mouse_cursor('hand')
|
2023-02-19 04:52:12 +00:00
|
|
|
Viewport.x = Pan.x - App.mouse_x()/Viewport.zoom
|
|
|
|
Viewport.y = Pan.y - App.mouse_y()/Viewport.zoom
|
2023-01-26 04:11:22 +00:00
|
|
|
B()
|
2023-06-22 16:14:00 +01:00
|
|
|
else
|
|
|
|
set_mouse_cursor('arrow')
|
2023-01-26 04:11:22 +00:00
|
|
|
end
|
2023-11-13 04:44:52 +00:00
|
|
|
end
|