--? function App.keyreleased(key, scancode)
--?   Cursor_time = 0  -- ensure cursor is visible immediately after it moves
--?   return edit.key_released(Editor_state, key, scancode)
--? end

function App.keyreleased(key, scancode)
  Cursor_time = 0  -- ensure cursor is visible immediately after it moves
  local pane = Surface[Cursor_pane.col][Cursor_pane.row]
  if pane.show_cursor then
    return edit.key_released(pane, key, scancode)
  end
end