2023-11-15 14:06:56 +00:00
|
|
|
on.key_release = function(key, scancode)
|
2023-11-22 03:17:49 +00:00
|
|
|
if Show_code then
|
|
|
|
if Current_pane.editor_state.cursor_x then
|
|
|
|
edit.key_release(Current_pane.editor_state, key, scancode)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
-- editors hidden
|
|
|
|
if car.key_release then car.key_release(key, scancode) end
|
|
|
|
if car.keyreleased then car.keyreleased(key, scancode) end
|
2023-11-20 18:26:14 +00:00
|
|
|
end
|
2023-11-15 14:06:56 +00:00
|
|
|
end
|