def close(event): if len(editor.buffers()) == 1: quit() else: for buf in editor.buffers(): if buf.is_untitled and buf.text not in '\n' and _asksavep(): save() editor.forget(buf) editor.update_titlebar()
def pglt(event): old = editor.select() if old == 0: new = len(editor.buffers()) - 1 else: new = old - 1 editor.select(new)
def pgrt(event): old = editor.select() if old == len(editor.buffers()) - 1: new = 0 else: new = old + 1 editor.select(new)