Searched refs:restart_shell (Results 1 – 2 of 2) sorted by relevance
913 text.bind("<<restart-shell>>", self.restart_shell)1379 def restart_shell(self, event=None): member in PyShell
186 Restart Shell # pyshell.PyShell.restart_shell