From: Guido van Rossum <guido@python.org>
Date: Mon, 27 Jan 1992 16:58:21 +0000 (+0000)
Subject: Adde getmargin() method to calculate the width of the margin.
X-Git-Tag: v0.9.8~535
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=576136044c54a922d5af3b615e24351e6501e5ee;p=thirdparty%2FPython%2Fcpython.git

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 c5de9283e097..6c5cde8e0231 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 c5de9283e097..6c5cde8e0231 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