mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-07-24 19:54:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Adde getmargin() method to calculate the width of the margin.

Browse source
This commit is contained in:
Guido van Rossum 1992-01-27 16:58:21 +00:00
parent 6fd42b8e92
commit 576136044c
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Lib/lib-stdwin/wdbsrcwin.py
View 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