From 576136044c54a922d5af3b615e24351e6501e5ee Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Mon, 27 Jan 1992 16:58:21 +0000 Subject: Adde getmargin() method to calculate the width of the margin. --- Lib/lib-stdwin/wdbsrcwin.py | 3 +++ Lib/stdwin/wdbsrcwin.py | 3 +++ 2 files changed, 6 insertions(+) diff --git a/Lib/lib-stdwin/wdbsrcwin.py b/Lib/lib-stdwin/wdbsrcwin.py index c5de928..6c5cde8 100644 --- a/Lib/lib-stdwin/wdbsrcwin.py +++ b/Lib/lib-stdwin/wdbsrcwin.py @@ -70,6 +70,9 @@ class DebuggerSourceWindow(srcwin.SourceWindow): 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 diff --git a/Lib/stdwin/wdbsrcwin.py b/Lib/stdwin/wdbsrcwin.py index c5de928..6c5cde8 100755 --- a/Lib/stdwin/wdbsrcwin.py +++ b/Lib/stdwin/wdbsrcwin.py @@ -70,6 +70,9 @@ class DebuggerSourceWindow(srcwin.SourceWindow): 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 -- cgit v0.12