New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
bpo-6143: "Clear and restart" IDLE shell windows #21682
base: main
Are you sure you want to change the base?
Conversation
Add a "Clear and Restart" item to the "Shell" menu. This can be used to clear the contents of the shell window.
@@ -285,6 +285,8 @@ <h3>Shell menu (Shell window only)<a class="headerlink" href="#shell-menu-shell- | |||
</dd> | |||
<dt>Restart Shell</dt><dd><p>Restart the shell to clean the environment.</p> | |||
</dd> | |||
<dt>Clear and Restart</dt><dd><p>Restart the shell and clear the contents of the shell window.</p> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This file is generated from the IDLE doc: Doc/librarary/idle.rst. Edit latter instead.
console.text.mark_unset("iomark") | ||
console.text.delete("0.0", "end") | ||
console.resetoutput() | ||
console.write_header() |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am not sure we need this. And the new function.
@@ -82,6 +82,7 @@ | |||
('shell', [ | |||
('_View Last Restart', '<<view-restart>>'), | |||
('_Restart Shell', '<<restart-shell>>'), | |||
('_Clear and Restart', '<<clear-restart-shell>>'), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think Clear shell
might be sufficient.
A Python core developer has requested some changes be made to your pull request before we can consider merging it. If you could please address their requests along with any other requests in other reviews from core developers that would be appreciated. Once you have made the requested changes, please leave a comment on this pull request containing the phrase |
Add a "Clear and Restart" item to the "Shell" menu. This can be used
to clear the contents of the shell window.
https://bugs.python.org/issue6143