def _edit_select_all(action, window): debug(DEBUG_COMMANDS) active_view = window.get_active_view() if warn_if_equal(active_view, None): return active_view.select_all() active_view.grab_focus()
def _edit_paste(action, window): debug(DEBUG_COMMANDS) active_view = window.get_active_view() if warn_if_equal(active_view, None): return active_view.paste_clipboard() active_view.grab_focus()
def _edit_redo(action, window): debug(DEBUG_COMMANDS) active_view = window.get_active_view() if active_view == None: return active_view.get_buffer().redo() active_view.scroll_to_cursor() active_view.grab_focus()
def _edit_undo(action, window): debug(DEBUG_COMMANDS) active_view = window.get_active_view() if warn_if_equal(active_view, None): return active_view.get_buffer().undo() active_view.scroll_to_cursor() active_view.grab_focus()