| commit | 576136044c54a922d5af3b615e24351e6501e5ee | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Mon Jan 27 16:58:21 1992 +0000 |
| committer | Guido van Rossum <guido@python.org> | Mon Jan 27 16:58:21 1992 +0000 |
| tree | 2eddfb173bf626d8835596b4871a51d52576bfb6 | |
| parent | 6fd42b8e921572105f389c377ad1d69da22938cc [diff] [blame] |
Adde getmargin() method to calculate the width of the margin.
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 @@ 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