]> git.ipfire.org Git - thirdparty/Python/cpython.git/commitdiff
Adde getmargin() method to calculate the width of the margin.
authorGuido van Rossum <guido@python.org>
Mon, 27 Jan 1992 16:58:21 +0000 (16:58 +0000)
committerGuido van Rossum <guido@python.org>
Mon, 27 Jan 1992 16:58:21 +0000 (16:58 +0000)
Lib/lib-stdwin/wdbsrcwin.py
Lib/stdwin/wdbsrcwin.py

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