FM / idlelib

/usr/lib/python2.6/idlelib

Name	Size	Mode	Actions
Icons/	-	0755	rm
aboutDialog.py	6825	0644	edit dl rm
aboutDialog.pyc	6937	0644	edit dl rm
aboutDialog.pyo	6937	0644	edit dl rm
AutoComplete.py	9061	0644	edit dl rm
AutoComplete.pyc	7997	0644	edit dl rm
AutoComplete.pyo	7997	0644	edit dl rm
AutoCompleteWindow.py	17201	0644	edit dl rm
AutoCompleteWindow.pyc	12544	0644	edit dl rm
AutoCompleteWindow.pyo	12481	0644	edit dl rm
AutoExpand.py	2483	0644	edit dl rm
AutoExpand.pyc	2575	0644	edit dl rm
AutoExpand.pyo	2575	0644	edit dl rm
Bindings.py	3502	0644	edit dl rm
Bindings.pyc	5062	0644	edit dl rm
Bindings.pyo	5062	0644	edit dl rm
CallTips.py	7608	0644	edit dl rm
CallTips.pyc	10219	0644	edit dl rm
CallTips.pyo	10219	0644	edit dl rm
CallTipWindow.py	5924	0644	edit dl rm
CallTipWindow.pyc	6189	0644	edit dl rm
CallTipWindow.pyo	6189	0644	edit dl rm
ChangeLog	56393	0644	edit dl rm
ClassBrowser.py	6369	0644	edit dl rm
ClassBrowser.pyc	9160	0644	edit dl rm
ClassBrowser.pyo	9160	0644	edit dl rm
CodeContext.py	8347	0644	edit dl rm
CodeContext.pyc	6713	0644	edit dl rm
CodeContext.pyo	6667	0644	edit dl rm
ColorDelegator.py	10150	0644	edit dl rm
ColorDelegator.pyc	8942	0644	edit dl rm
ColorDelegator.pyo	8942	0644	edit dl rm
config-extensions.def	2697	0644	edit dl rm
config-highlight.def	1740	0644	edit dl rm
config-keys.def	7517	0644	edit dl rm
config-main.def	2512	0644	edit dl rm
configDialog.py	53229	0644	edit dl rm
configDialog.pyc	44828	0644	edit dl rm
configDialog.pyo	44828	0644	edit dl rm
configHandler.py	28803	0644	edit dl rm
configHandler.pyc	27268	0644	edit dl rm
configHandler.pyo	27268	0644	edit dl rm
configHelpSourceEdit.py	6680	0644	edit dl rm
configHelpSourceEdit.pyc	6731	0644	edit dl rm
configHelpSourceEdit.pyo	6731	0644	edit dl rm
configSectionNameDialog.py	3720	0644	edit dl rm
configSectionNameDialog.pyc	4305	0644	edit dl rm
configSectionNameDialog.pyo	4305	0644	edit dl rm
CREDITS.txt	1856	0644	edit dl rm
Debugger.py	15818	0644	edit dl rm
Debugger.pyc	16986	0644	edit dl rm
Debugger.pyo	16986	0644	edit dl rm
Delegator.py	831	0644	edit dl rm
Delegator.pyc	1607	0644	edit dl rm
Delegator.pyo	1607	0644	edit dl rm
dynOptionMenuWidget.py	1302	0644	edit dl rm
dynOptionMenuWidget.pyc	1699	0644	edit dl rm
dynOptionMenuWidget.pyo	1699	0644	edit dl rm
EditorWindow.py	59734	0644	edit dl rm
EditorWindow.pyc	52769	0644	edit dl rm
EditorWindow.pyo	52666	0644	edit dl rm
extend.txt	3652	0644	edit dl rm
FileList.py	3660	0644	edit dl rm
FileList.pyc	3988	0644	edit dl rm
FileList.pyo	3953	0644	edit dl rm
FormatParagraph.py	5734	0644	edit dl rm
FormatParagraph.pyc	4803	0644	edit dl rm
FormatParagraph.pyo	4803	0644	edit dl rm
GrepDialog.py	4052	0644	edit dl rm
GrepDialog.pyc	5037	0644	edit dl rm
GrepDialog.pyo	5037	0644	edit dl rm
help.txt	11223	0644	edit dl rm
HISTORY.txt	10317	0644	edit dl rm
HyperParser.py	10310	0644	edit dl rm
HyperParser.pyc	6620	0644	edit dl rm
HyperParser.pyo	6620	0644	edit dl rm
idle.py	664	0644	edit dl rm
idle.pyc	594	0644	edit dl rm
idle.pyo	594	0644	edit dl rm
idle.pyw	664	0644	edit dl rm
IdleHistory.py	3145	0644	edit dl rm
IdleHistory.pyc	3213	0644	edit dl rm
IdleHistory.pyo	3213	0644	edit dl rm
idlever.py	23	0644	edit dl rm
idlever.pyc	157	0644	edit dl rm
idlever.pyo	157	0644	edit dl rm
IOBinding.py	20972	0644	edit dl rm
IOBinding.pyc	17713	0644	edit dl rm
IOBinding.pyo	17713	0644	edit dl rm
keybindingDialog.py	12407	0644	edit dl rm
keybindingDialog.pyc	12384	0644	edit dl rm
keybindingDialog.pyo	12384	0644	edit dl rm
macosxSupport.py	4724	0644	edit dl rm
macosxSupport.pyc	4864	0644	edit dl rm
macosxSupport.pyo	4864	0644	edit dl rm
MultiCall.py	17470	0644	edit dl rm
MultiCall.pyc	16142	0644	edit dl rm
MultiCall.pyo	16066	0644	edit dl rm
MultiStatusBar.py	789	0644	edit dl rm
MultiStatusBar.pyc	1538	0644	edit dl rm
MultiStatusBar.pyo	1538	0644	edit dl rm
NEWS.txt	27165	0644	edit dl rm
ObjectBrowser.py	4156	0644	edit dl rm
ObjectBrowser.pyc	6691	0644	edit dl rm
ObjectBrowser.pyo	6691	0644	edit dl rm
OutputWindow.py	4392	0644	edit dl rm
OutputWindow.pyc	4990	0644	edit dl rm
OutputWindow.pyo	4990	0644	edit dl rm
ParenMatch.py	6627	0644	edit dl rm
ParenMatch.pyc	6973	0644	edit dl rm
ParenMatch.pyo	6973	0644	edit dl rm
PathBrowser.py	2646	0644	edit dl rm
PathBrowser.pyc	4135	0644	edit dl rm
PathBrowser.pyo	4135	0644	edit dl rm
Percolator.py	2616	0644	edit dl rm
Percolator.pyc	3634	0644	edit dl rm
Percolator.pyo	3440	0644	edit dl rm
PyParse.py	19510	0644	edit dl rm
PyParse.pyc	10179	0644	edit dl rm
PyParse.pyo	9711	0644	edit dl rm
PyShell.py	51909	0644	edit dl rm
PyShell.pyc	46494	0644	edit dl rm
PyShell.pyo	46393	0644	edit dl rm
README.txt	2623	0644	edit dl rm
RemoteDebugger.py	11660	0644	edit dl rm
RemoteDebugger.pyc	16290	0644	edit dl rm
RemoteDebugger.pyo	16135	0644	edit dl rm
RemoteObjectBrowser.py	942	0644	edit dl rm
RemoteObjectBrowser.pyc	2147	0644	edit dl rm
RemoteObjectBrowser.pyo	2147	0644	edit dl rm
ReplaceDialog.py	5134	0644	edit dl rm
ReplaceDialog.pyc	5954	0644	edit dl rm
ReplaceDialog.pyo	5954	0644	edit dl rm
rpc.py	20215	0644	edit dl rm
rpc.pyc	21819	0644	edit dl rm
rpc.pyo	21709	0644	edit dl rm
run.py	11337	0644	edit dl rm
run.pyc	12164	0644	edit dl rm
run.pyo	12164	0644	edit dl rm
ScriptBinding.py	7783	0644	edit dl rm
ScriptBinding.pyc	7585	0644	edit dl rm
ScriptBinding.pyo	7585	0644	edit dl rm
ScrolledList.py	3995	0644	edit dl rm
ScrolledList.pyc	6147	0644	edit dl rm
ScrolledList.pyo	6147	0644	edit dl rm
SearchDialog.py	2040	0644	edit dl rm
SearchDialog.pyc	3006	0644	edit dl rm
SearchDialog.pyo	3006	0644	edit dl rm
SearchDialogBase.py	4385	0644	edit dl rm
SearchDialogBase.pyc	5492	0644	edit dl rm
SearchDialogBase.pyo	5492	0644	edit dl rm
SearchEngine.py	6731	0644	edit dl rm
SearchEngine.pyc	7215	0644	edit dl rm
SearchEngine.pyo	7215	0644	edit dl rm
StackViewer.py	3857	0644	edit dl rm
StackViewer.pyc	5916	0644	edit dl rm
StackViewer.pyo	5916	0644	edit dl rm
tabbedpages.py	18188	0644	edit dl rm
tabbedpages.pyc	18085	0644	edit dl rm
tabbedpages.pyo	18085	0644	edit dl rm
textView.py	3246	0644	edit dl rm
textView.pyc	3965	0644	edit dl rm
textView.pyo	3965	0644	edit dl rm
TODO.txt	8478	0644	edit dl rm
ToolTip.py	2736	0644	edit dl rm
ToolTip.pyc	4126	0644	edit dl rm
ToolTip.pyo	4126	0644	edit dl rm
TreeWidget.py	15237	0644	edit dl rm
TreeWidget.pyc	17906	0644	edit dl rm
TreeWidget.pyo	17906	0644	edit dl rm
UndoDelegator.py	10277	0644	edit dl rm
UndoDelegator.pyc	12550	0644	edit dl rm
UndoDelegator.pyo	12550	0644	edit dl rm
WidgetRedirector.py	4476	0644	edit dl rm
WidgetRedirector.pyc	5338	0644	edit dl rm
WidgetRedirector.pyo	5338	0644	edit dl rm
WindowList.py	2473	0644	edit dl rm
WindowList.pyc	3624	0644	edit dl rm
WindowList.pyo	3624	0644	edit dl rm
ZoomHeight.py	1307	0644	edit dl rm
ZoomHeight.pyc	1651	0644	edit dl rm
ZoomHeight.pyo	1651	0644	edit dl rm
__init__.py	37	0644	edit dl rm
__init__.pyc	125	0644	edit dl rm
__init__.pyo	125	0644	edit dl rm

Edit: /usr/lib/python2.6/idlelib/UndoDelegator.py (10277B)

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 main():
    from idlelib.Percolator import Percolator
    root = Tk()
    root.wm_protocol("WM_DELETE_WINDOW", root.quit)
    text = Text()
    text.pack()
    text.focus_set()
    p = Percolator(text)
    d = UndoDelegator()
    p.insertfilter(d)
    root.mainloop()

if __name__ == "__main__":
    main()

cmd: