M Bindings.py

M PyShell.py
M config-keys.def
M configHandler.py

1. Clear any un-entered characters from input line before printing the
   restart boundary.
2. Restore the Debug menu: There are now both Shell and Debug menus.
3. Add Control-F6 keybinding to Restart Shell.
4. Clarify PyShell.cancel_check() comment.
5. Update doc string for Bindings.py and re-format the file slightly.
This commit is contained in:
Kurt B. Kaiser 2003-01-22 00:23:23 +00:00
parent 374c43574a
commit 4cc5ef5dbe
4 changed files with 34 additions and 24 deletions

View file

@ -368,6 +368,7 @@ class ModifiedInterpreter(InteractiveInterpreter):
self.transfer_path()
# annotate restart in shell window and mark it
console = self.tkconsole
console.text.delete("iomark", "end-1c")
halfbar = ((int(console.width) - 16) // 2) * '='
console.write(halfbar + ' RESTART ' + halfbar)
console.text.mark_set("restart", "end-1c")
@ -659,6 +660,7 @@ class PyShell(OutputWindow):
("file", "_File"),
("edit", "_Edit"),
("shell", "_Shell"),
("debug", "_Debug"),
("options", "_Options"),
("windows", "_Windows"),
("help", "_Help"),
@ -1007,8 +1009,8 @@ class PyShell(OutputWindow):
# Hack -- use the debugger hooks to be able to handle events
# and interrupt execution at any time.
# This slows execution down quite a bit, so you may want to
# disable this (by not calling settrace() in runcode() above)
# for full-bore (uninterruptable) speed.
# disable this (by not calling settrace() in beginexecuting() and
# endexecuting() for full-bore (uninterruptable) speed.)
# XXX This should become a user option.
if self.canceled:
return