Example #1
0
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()
Example #2
0
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()
Example #3
0
def pglt(event):
    old = editor.select()
    if old == 0:
        new = len(editor.buffers()) - 1
    else:
        new = old - 1
    editor.select(new)
Example #4
0
def pgrt(event):
    old = editor.select()
    if old == len(editor.buffers()) - 1:
        new = 0
    else:
        new = old + 1
    editor.select(new)
Example #5
0
def pglt(event):
    old = editor.select()
    if old == 0:
        new = len(editor.buffers()) - 1
    else:
        new = old - 1
    editor.select(new)
Example #6
0
def pgrt(event):
    old = editor.select()
    if old == len(editor.buffers()) - 1:
        new = 0
    else:
        new = old + 1
    editor.select(new)