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 c5de9283e0977b2007994ea10478472ce84a96dc..6c5cde8e0231a526d07f6f5e9dff4f0bcab46b9d 100644 (file)
--- 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 c5de9283e0977b2007994ea10478472ce84a96dc..6c5cde8e0231a526d07f6f5e9dff4f0bcab46b9d 100755 (executable)
--- 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