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