diff options
author | Guido van Rossum <guido@python.org> | 1997-09-09 03:39:21 +0000 |
---|---|---|
committer | Guido van Rossum <guido@python.org> | 1997-09-09 03:39:21 +0000 |
commit | d7500fcbb4d0257f3bcd0c87d17ee61f3b1545e8 (patch) | |
tree | db4a6e4835e04851df721eb4595d7172d8e05c34 /Lib/stdwin/wdbsrcwin.py | |
parent | 045e688f6fc06c87cc93f84e42fb4767a04ba559 (diff) | |
download | cpython-git-d7500fcbb4d0257f3bcd0c87d17ee61f3b1545e8.tar.gz |
These directories renamed: tkinter -> lib-tk, stdwin -> lib-stdwin.
Diffstat (limited to 'Lib/stdwin/wdbsrcwin.py')
-rwxr-xr-x | Lib/stdwin/wdbsrcwin.py | 100 |
1 files changed, 0 insertions, 100 deletions
diff --git a/Lib/stdwin/wdbsrcwin.py b/Lib/stdwin/wdbsrcwin.py deleted file mode 100755 index f79fab94be..0000000000 --- a/Lib/stdwin/wdbsrcwin.py +++ /dev/null @@ -1,100 +0,0 @@ -# wdbsrcwin.py -- source window for wdb - -import stdwin -from stdwinevents import * -import srcwin - - -class DebuggerSourceWindow(srcwin.SourceWindow): - - def __init__(self, debugger, filename): - self.debugger = debugger - self.curlineno = 0 - self.focus = 0 - srcwin.SourceWindow.__init__(self, filename) - - def close(self): - del self.debugger.sourcewindows[self.filename] - del self.debugger - srcwin.SourceWindow.close(self) - - def dispatch(self, event): - type, win, detail = event - if type == WE_CHAR: - self.char(detail) - elif type == WE_COMMAND: - self.command(detail) - elif type == WE_MOUSE_DOWN: - self.mouse_down(detail) - else: - srcwin.SourceWindow.dispatch(self, event) - - def char(self, detail): - self.debugger.char(detail) - - def command(self, detail): - self.debugger.command(detail) - - def mouse_down(self, detail): - (h, v), clicks, button, mask = detail - if h >= self.leftmargin: - srcwin.SourceWindow.dispatch(self, \ - (WE_MOUSE_DOWN, self.win, detail)) - return - lineno = v/self.lineheight + 1 - if 1 <= lineno <= self.linecount: - if self.debugger.get_break(self.filename, lineno): - f = self.debugger.clear_break - else: - f = self.debugger.set_break - err = f(self.filename, lineno) - if err: stdwin.message(err) - else: self.changemark(lineno) - else: - stdwin.fleep() - - def getmark(self, lineno): - s = `lineno` - if lineno == self.focus: - s = '[' + s + ']' - else: - s = ' ' + s + ' ' - if lineno == self.curlineno: - s = s + '->' - else: - s = s + ' ' - br = self.debugger.breaks - if br.has_key(self.filename) and lineno in br[self.filename]: - s = s + 'B' - else: - s = s + ' ' - return s - - def getmargin(self): - return stdwin.textwidth('[' + `self.linecount+1` + ']->B ') - - def setlineno(self, newlineno): - if newlineno != self.curlineno: - oldlineno = self.curlineno - self.curlineno = newlineno - self.changemark(oldlineno) - self.changemark(newlineno) - if newlineno != 0: - self.showline(newlineno) - - def resetlineno(self): - self.setlineno(0) - - def setfocus(self, newfocus): - if newfocus != self.focus: - oldfocus = self.focus - self.focus = newfocus - self.changemark(oldfocus) - self.changemark(newfocus) - if newfocus != 0: - self.showline(newfocus) - - def resetfocus(self): - self.setfocus(0) - -# XXX Should get rid of focus stuff again |