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
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 @@
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