Polish the Debugger GUI a bit.

Closing it now also does the right thing.
This commit is contained in:
Guido van Rossum 1998-10-14 03:43:05 +00:00
parent fc6aba5008
commit 35e55da7dc
2 changed files with 52 additions and 20 deletions

View file

@ -252,19 +252,27 @@ class PyShell(PyShellEditorWindow):
return "break"
db = self.interp.getdebugger()
if db:
self.close_debugger()
else:
self.open_debugger()
def close_debugger(self):
db = self.interp.getdebugger()
if db:
self.interp.setdebugger(None)
db.close()
self.resetoutput()
self.console.write("[DEBUG OFF]\n")
sys.ps1 = ">>> "
self.showprompt()
self.interp.setdebugger(None)
else:
import Debugger
self.interp.setdebugger(Debugger.Debugger(self))
sys.ps1 = "[DEBUG ON]>>> "
self.showprompt()
self.top.tkraise()
self.text.focus_set()
def open_debugger(self):
import Debugger
self.interp.setdebugger(Debugger.Debugger(self))
sys.ps1 = "[DEBUG ON]>>> "
self.showprompt()
self.top.tkraise()
self.text.focus_set()
def beginexecuting(self):
# Helper for ModifiedInterpreter