FM / idlelib

/usr/lib64/python2.7/idlelib

Name	Size	Mode	Actions
Icons/	-	0755	rm
idle_test/	-	0755	rm
aboutDialog.py	7014	0644	edit dl rm
aboutDialog.pyc	6848	0644	edit dl rm
aboutDialog.pyo	6848	0644	edit dl rm
AutoComplete.py	8964	0644	edit dl rm
AutoComplete.pyc	8012	0644	edit dl rm
AutoComplete.pyo	8012	0644	edit dl rm
AutoCompleteWindow.py	17318	0644	edit dl rm
AutoCompleteWindow.pyc	12480	0644	edit dl rm
AutoCompleteWindow.pyo	12421	0644	edit dl rm
AutoExpand.py	3395	0644	edit dl rm
AutoExpand.pyc	3502	0644	edit dl rm
AutoExpand.pyo	3502	0644	edit dl rm
Bindings.py	2976	0644	edit dl rm
Bindings.pyc	4695	0644	edit dl rm
Bindings.pyo	4695	0644	edit dl rm
CallTips.py	7740	0644	edit dl rm
CallTips.pyc	8133	0644	edit dl rm
CallTips.pyo	8133	0644	edit dl rm
CallTipWindow.py	6065	0644	edit dl rm
CallTipWindow.pyc	6136	0644	edit dl rm
CallTipWindow.pyo	6136	0644	edit dl rm
ChangeLog	56393	0644	edit dl rm
ClassBrowser.py	6999	0644	edit dl rm
ClassBrowser.pyc	9500	0644	edit dl rm
ClassBrowser.pyo	9500	0644	edit dl rm
CodeContext.py	8342	0644	edit dl rm
CodeContext.pyc	6658	0644	edit dl rm
CodeContext.pyo	6614	0644	edit dl rm
ColorDelegator.py	9762	0644	edit dl rm
ColorDelegator.pyc	8898	0644	edit dl rm
ColorDelegator.pyo	8898	0644	edit dl rm
config-extensions.def	2965	0644	edit dl rm
config-highlight.def	2515	0644	edit dl rm
config-keys.def	7777	0644	edit dl rm
config-main.def	2561	0644	edit dl rm
configDialog.py	65958	0644	edit dl rm
configDialog.pyc	53291	0644	edit dl rm
configDialog.pyo	53291	0644	edit dl rm
configHandler.py	32485	0644	edit dl rm
configHandler.pyc	29361	0644	edit dl rm
configHandler.pyo	29361	0644	edit dl rm
configHelpSourceEdit.py	6686	0644	edit dl rm
configHelpSourceEdit.pyc	6595	0644	edit dl rm
configHelpSourceEdit.pyo	6595	0644	edit dl rm
configSectionNameDialog.py	4040	0644	edit dl rm
configSectionNameDialog.pyc	4419	0644	edit dl rm
configSectionNameDialog.pyo	4419	0644	edit dl rm
CREDITS.txt	1866	0644	edit dl rm
Debugger.py	18236	0644	edit dl rm
Debugger.pyc	17546	0644	edit dl rm
Debugger.pyo	17546	0644	edit dl rm
Delegator.py	665	0644	edit dl rm
Delegator.pyc	1268	0644	edit dl rm
Delegator.pyo	1268	0644	edit dl rm
dynOptionMenuWidget.py	1984	0644	edit dl rm
dynOptionMenuWidget.pyc	2790	0644	edit dl rm
dynOptionMenuWidget.pyo	2790	0644	edit dl rm
EditorWindow.py	65498	0644	edit dl rm
EditorWindow.pyc	56858	0644	edit dl rm
EditorWindow.pyo	56756	0644	edit dl rm
extend.txt	3642	0644	edit dl rm
FileList.py	3718	0644	edit dl rm
FileList.pyc	4025	0644	edit dl rm
FileList.pyo	3992	0644	edit dl rm
FormatParagraph.py	7287	0644	edit dl rm
FormatParagraph.pyc	7142	0644	edit dl rm
FormatParagraph.pyo	7142	0644	edit dl rm
GrepDialog.py	5145	0644	edit dl rm
GrepDialog.pyc	6425	0644	edit dl rm
GrepDialog.pyo	6425	0644	edit dl rm
help.html	42414	0644	edit dl rm
help.py	11035	0644	edit dl rm
help.pyc	12270	0644	edit dl rm
help.pyo	12270	0644	edit dl rm
help.txt	12144	0644	edit dl rm
HISTORY.txt	10317	0644	edit dl rm
HyperParser.py	10497	0644	edit dl rm
HyperParser.pyc	6673	0644	edit dl rm
HyperParser.pyo	6673	0644	edit dl rm
idle.py	453	0644	edit dl rm
idle.pyc	410	0644	edit dl rm
idle.pyo	410	0644	edit dl rm
idle.pyw	563	0644	edit dl rm
IdleHistory.py	4052	0644	edit dl rm
IdleHistory.pyc	4060	0644	edit dl rm
IdleHistory.pyo	4060	0644	edit dl rm
idlever.py	415	0644	edit dl rm
idlever.pyc	578	0644	edit dl rm
idlever.pyo	578	0644	edit dl rm
IOBinding.py	21911	0644	edit dl rm
IOBinding.pyc	18535	0644	edit dl rm
IOBinding.pyo	18535	0644	edit dl rm
keybindingDialog.py	12468	0644	edit dl rm
keybindingDialog.pyc	12173	0644	edit dl rm
keybindingDialog.pyo	12173	0644	edit dl rm
macosxSupport.py	8435	0644	edit dl rm
macosxSupport.pyc	8351	0644	edit dl rm
macosxSupport.pyo	8213	0644	edit dl rm
MultiCall.py	17701	0644	edit dl rm
MultiCall.pyc	16351	0644	edit dl rm
MultiCall.pyo	16277	0644	edit dl rm
MultiStatusBar.py	1348	0644	edit dl rm
MultiStatusBar.pyc	2279	0644	edit dl rm
MultiStatusBar.pyo	2279	0644	edit dl rm
NEWS.txt	47247	0644	edit dl rm
ObjectBrowser.py	4376	0644	edit dl rm
ObjectBrowser.pyc	7067	0644	edit dl rm
ObjectBrowser.pyo	7067	0644	edit dl rm
OutputWindow.py	4576	0644	edit dl rm
OutputWindow.pyc	5232	0644	edit dl rm
OutputWindow.pyo	5232	0644	edit dl rm
ParenMatch.py	6714	0644	edit dl rm
ParenMatch.pyc	7129	0644	edit dl rm
ParenMatch.pyo	7129	0644	edit dl rm
PathBrowser.py	3009	0644	edit dl rm
PathBrowser.pyc	4486	0644	edit dl rm
PathBrowser.pyo	4486	0644	edit dl rm
Percolator.py	3222	0644	edit dl rm
Percolator.pyc	4608	0644	edit dl rm
Percolator.pyo	4424	0644	edit dl rm
PyParse.py	19510	0644	edit dl rm
PyParse.pyc	10005	0644	edit dl rm
PyParse.pyo	9567	0644	edit dl rm
PyShell.py	58862	0755	edit dl rm
PyShell.pyc	52826	0644	edit dl rm
PyShell.pyo	52724	0644	edit dl rm
README.txt	7890	0644	edit dl rm
RemoteDebugger.py	11632	0644	edit dl rm
RemoteDebugger.pyc	16325	0644	edit dl rm
RemoteDebugger.pyo	16171	0644	edit dl rm
RemoteObjectBrowser.py	942	0644	edit dl rm
RemoteObjectBrowser.pyc	2150	0644	edit dl rm
RemoteObjectBrowser.pyo	2150	0644	edit dl rm
ReplaceDialog.py	6639	0644	edit dl rm
ReplaceDialog.pyc	7756	0644	edit dl rm
ReplaceDialog.pyo	7756	0644	edit dl rm
rpc.py	20150	0644	edit dl rm
rpc.pyc	21728	0644	edit dl rm
rpc.pyo	21622	0644	edit dl rm
RstripExtension.py	1050	0644	edit dl rm
RstripExtension.pyc	1613	0644	edit dl rm
RstripExtension.pyo	1613	0644	edit dl rm
run.py	12917	0644	edit dl rm
run.pyc	13419	0644	edit dl rm
run.pyo	13361	0644	edit dl rm
ScriptBinding.py	8459	0644	edit dl rm
ScriptBinding.pyc	8201	0644	edit dl rm
ScriptBinding.pyo	8201	0644	edit dl rm
ScrolledList.py	4373	0644	edit dl rm
ScrolledList.pyc	6482	0644	edit dl rm
ScrolledList.pyo	6482	0644	edit dl rm
SearchDialog.py	2630	0644	edit dl rm
SearchDialog.pyc	3983	0644	edit dl rm
SearchDialog.pyo	3983	0644	edit dl rm
SearchDialogBase.py	7094	0644	edit dl rm
SearchDialogBase.pyc	8462	0644	edit dl rm
SearchDialogBase.pyo	8462	0644	edit dl rm
SearchEngine.py	7463	0644	edit dl rm
SearchEngine.pyc	8302	0644	edit dl rm
SearchEngine.pyo	8302	0644	edit dl rm
StackViewer.py	4431	0644	edit dl rm
StackViewer.pyc	6404	0644	edit dl rm
StackViewer.pyo	6404	0644	edit dl rm
tabbedpages.py	18439	0644	edit dl rm
tabbedpages.pyc	18561	0644	edit dl rm
tabbedpages.pyo	18561	0644	edit dl rm
textView.py	3520	0644	edit dl rm
textView.pyc	4025	0644	edit dl rm
textView.pyo	4025	0644	edit dl rm
TODO.txt	8478	0644	edit dl rm
ToolTip.py	3173	0644	edit dl rm
ToolTip.pyc	4669	0644	edit dl rm
ToolTip.pyo	4669	0644	edit dl rm
TreeWidget.py	15037	0644	edit dl rm
TreeWidget.pyc	17694	0644	edit dl rm
TreeWidget.pyo	17694	0644	edit dl rm
UndoDelegator.py	10787	0644	edit dl rm
UndoDelegator.pyc	13555	0644	edit dl rm
UndoDelegator.pyo	13555	0644	edit dl rm
WidgetRedirector.py	6906	0644	edit dl rm
WidgetRedirector.pyc	7769	0644	edit dl rm
WidgetRedirector.pyo	7769	0644	edit dl rm
WindowList.py	2473	0644	edit dl rm
WindowList.pyc	3636	0644	edit dl rm
WindowList.pyo	3636	0644	edit dl rm
ZoomHeight.py	1300	0644	edit dl rm
ZoomHeight.pyc	1646	0644	edit dl rm
ZoomHeight.pyo	1646	0644	edit dl rm
__init__.py	288	0644	edit dl rm
__init__.pyc	431	0644	edit dl rm
__init__.pyo	431	0644	edit dl rm

Edit: /usr/lib64/python2.7/idlelib/UndoDelegator.py (10787B)

import string
from Tkinter import *

from idlelib.Delegator import Delegator

#$ event <<redo>>
#$ win <Control-y>
#$ unix <Alt-z>

#$ event <<undo>>
#$ win <Control-z>
#$ unix <Control-z>

#$ event <<dump-undo-state>>
#$ win <Control-backslash>
#$ unix <Control-backslash>

class UndoDelegator(Delegator):

max_undo = 1000

def __init__(self):
        Delegator.__init__(self)
        self.reset_undo()

def setdelegate(self, delegate):
        if self.delegate is not None:
            self.unbind("<<undo>>")
            self.unbind("<<redo>>")
            self.unbind("<<dump-undo-state>>")
        Delegator.setdelegate(self, delegate)
        if delegate is not None:
            self.bind("<<undo>>", self.undo_event)
            self.bind("<<redo>>", self.redo_event)
            self.bind("<<dump-undo-state>>", self.dump_event)

def dump_event(self, event):
        from pprint import pprint
        pprint(self.undolist[:self.pointer])
        print "pointer:", self.pointer,
        print "saved:", self.saved,
        print "can_merge:", self.can_merge,
        print "get_saved():", self.get_saved()
        pprint(self.undolist[self.pointer:])
        return "break"

def reset_undo(self):
        self.was_saved = -1
        self.pointer = 0
        self.undolist = []
        self.undoblock = 0  # or a CommandSequence instance
        self.set_saved(1)

def set_saved(self, flag):
        if flag:
            self.saved = self.pointer
        else:
            self.saved = -1
        self.can_merge = False
        self.check_saved()

def get_saved(self):
        return self.saved == self.pointer

saved_change_hook = None

def set_saved_change_hook(self, hook):
        self.saved_change_hook = hook

was_saved = -1

def check_saved(self):
        is_saved = self.get_saved()
        if is_saved != self.was_saved:
            self.was_saved = is_saved
            if self.saved_change_hook:
                self.saved_change_hook()

def insert(self, index, chars, tags=None):
        self.addcmd(InsertCommand(index, chars, tags))

def delete(self, index1, index2=None):
        self.addcmd(DeleteCommand(index1, index2))

# Clients should call undo_block_start() and undo_block_stop()
    # around a sequence of editing cmds to be treated as a unit by
    # undo & redo.  Nested matching calls are OK, and the inner calls
    # then act like nops.  OK too if no editing cmds, or only one
    # editing cmd, is issued in between:  if no cmds, the whole
    # sequence has no effect; and if only one cmd, that cmd is entered
    # directly into the undo list, as if undo_block_xxx hadn't been
    # called.  The intent of all that is to make this scheme easy
    # to use:  all the client has to worry about is making sure each
    # _start() call is matched by a _stop() call.

def undo_block_start(self):
        if self.undoblock == 0:
            self.undoblock = CommandSequence()
        self.undoblock.bump_depth()

def undo_block_stop(self):
        if self.undoblock.bump_depth(-1) == 0:
            cmd = self.undoblock
            self.undoblock = 0
            if len(cmd) > 0:
                if len(cmd) == 1:
                    # no need to wrap a single cmd
                    cmd = cmd.getcmd(0)
                # this blk of cmds, or single cmd, has already
                # been done, so don't execute it again
                self.addcmd(cmd, 0)

def addcmd(self, cmd, execute=True):
        if execute:
            cmd.do(self.delegate)
        if self.undoblock != 0:
            self.undoblock.append(cmd)
            return
        if self.can_merge and self.pointer > 0:
            lastcmd = self.undolist[self.pointer-1]
            if lastcmd.merge(cmd):
                return
        self.undolist[self.pointer:] = [cmd]
        if self.saved > self.pointer:
            self.saved = -1
        self.pointer = self.pointer + 1
        if len(self.undolist) > self.max_undo:
            ##print "truncating undo list"
            del self.undolist[0]
            self.pointer = self.pointer - 1
            if self.saved >= 0:
                self.saved = self.saved - 1
        self.can_merge = True
        self.check_saved()

def undo_event(self, event):
        if self.pointer == 0:
            self.bell()
            return "break"
        cmd = self.undolist[self.pointer - 1]
        cmd.undo(self.delegate)
        self.pointer = self.pointer - 1
        self.can_merge = False
        self.check_saved()
        return "break"

def redo_event(self, event):
        if self.pointer >= len(self.undolist):
            self.bell()
            return "break"
        cmd = self.undolist[self.pointer]
        cmd.redo(self.delegate)
        self.pointer = self.pointer + 1
        self.can_merge = False
        self.check_saved()
        return "break"

class Command:

# Base class for Undoable commands

tags = None

def __init__(self, index1, index2, chars, tags=None):
        self.marks_before = {}
        self.marks_after = {}
        self.index1 = index1
        self.index2 = index2
        self.chars = chars
        if tags:
            self.tags = tags

def __repr__(self):
        s = self.__class__.__name__
        t = (self.index1, self.index2, self.chars, self.tags)
        if self.tags is None:
            t = t[:-1]
        return s + repr(t)

def do(self, text):
        pass

def redo(self, text):
        pass

def undo(self, text):
        pass

def merge(self, cmd):
        return 0

def save_marks(self, text):
        marks = {}
        for name in text.mark_names():
            if name != "insert" and name != "current":
                marks[name] = text.index(name)
        return marks

def set_marks(self, text, marks):
        for name, index in marks.items():
            text.mark_set(name, index)

class InsertCommand(Command):

# Undoable insert command

def __init__(self, index1, chars, tags=None):
        Command.__init__(self, index1, None, chars, tags)

def do(self, text):
        self.marks_before = self.save_marks(text)
        self.index1 = text.index(self.index1)
        if text.compare(self.index1, ">", "end-1c"):
            # Insert before the final newline
            self.index1 = text.index("end-1c")
        text.insert(self.index1, self.chars, self.tags)
        self.index2 = text.index("%s+%dc" % (self.index1, len(self.chars)))
        self.marks_after = self.save_marks(text)
        ##sys.__stderr__.write("do: %s\n" % self)

def redo(self, text):
        text.mark_set('insert', self.index1)
        text.insert(self.index1, self.chars, self.tags)
        self.set_marks(text, self.marks_after)
        text.see('insert')
        ##sys.__stderr__.write("redo: %s\n" % self)

def undo(self, text):
        text.mark_set('insert', self.index1)
        text.delete(self.index1, self.index2)
        self.set_marks(text, self.marks_before)
        text.see('insert')
        ##sys.__stderr__.write("undo: %s\n" % self)

def merge(self, cmd):
        if self.__class__ is not cmd.__class__:
            return False
        if self.index2 != cmd.index1:
            return False
        if self.tags != cmd.tags:
            return False
        if len(cmd.chars) != 1:
            return False
        if self.chars and \
           self.classify(self.chars[-1]) != self.classify(cmd.chars):
            return False
        self.index2 = cmd.index2
        self.chars = self.chars + cmd.chars
        return True

alphanumeric = string.ascii_letters + string.digits + "_"

def classify(self, c):
        if c in self.alphanumeric:
            return "alphanumeric"
        if c == "\n":
            return "newline"
        return "punctuation"

class DeleteCommand(Command):

# Undoable delete command

def __init__(self, index1, index2=None):
        Command.__init__(self, index1, index2, None, None)

def do(self, text):
        self.marks_before = self.save_marks(text)
        self.index1 = text.index(self.index1)
        if self.index2:
            self.index2 = text.index(self.index2)
        else:
            self.index2 = text.index(self.index1 + " +1c")
        if text.compare(self.index2, ">", "end-1c"):
            # Don't delete the final newline
            self.index2 = text.index("end-1c")
        self.chars = text.get(self.index1, self.index2)
        text.delete(self.index1, self.index2)
        self.marks_after = self.save_marks(text)
        ##sys.__stderr__.write("do: %s\n" % self)

def redo(self, text):
        text.mark_set('insert', self.index1)
        text.delete(self.index1, self.index2)
        self.set_marks(text, self.marks_after)
        text.see('insert')
        ##sys.__stderr__.write("redo: %s\n" % self)

def undo(self, text):
        text.mark_set('insert', self.index1)
        text.insert(self.index1, self.chars)
        self.set_marks(text, self.marks_before)
        text.see('insert')
        ##sys.__stderr__.write("undo: %s\n" % self)

class CommandSequence(Command):

# Wrapper for a sequence of undoable cmds to be undone/redone
    # as a unit

def __init__(self):
        self.cmds = []
        self.depth = 0

def __repr__(self):
        s = self.__class__.__name__
        strs = []
        for cmd in self.cmds:
            strs.append("    %r" % (cmd,))
        return s + "(\n" + ",\n".join(strs) + "\n)"

def __len__(self):
        return len(self.cmds)

def append(self, cmd):
        self.cmds.append(cmd)

def getcmd(self, i):
        return self.cmds[i]

def redo(self, text):
        for cmd in self.cmds:
            cmd.redo(text)

def undo(self, text):
        cmds = self.cmds[:]
        cmds.reverse()
        for cmd in cmds:
            cmd.undo(text)

def bump_depth(self, incr=1):
        self.depth = self.depth + incr
        return self.depth

def _undo_delegator(parent):
    from idlelib.Percolator import Percolator
    root = Tk()
    root.title("Test UndoDelegator")
    width, height, x, y = list(map(int, re.split('[x+]', parent.geometry())))
    root.geometry("+%d+%d"%(x, y + 150))

text = Text(root)
    text.config(height=10)
    text.pack()
    text.focus_set()
    p = Percolator(text)
    d = UndoDelegator()
    p.insertfilter(d)

undo = Button(root, text="Undo", command=lambda:d.undo_event(None))
    undo.pack(side='left')
    redo = Button(root, text="Redo", command=lambda:d.redo_event(None))
    redo.pack(side='left')
    dump = Button(root, text="Dump", command=lambda:d.dump_event(None))
    dump.pack(side='left')

root.mainloop()

if __name__ == "__main__":
    from idlelib.idle_test.htest import run
    run(_undo_delegator)

cmd: