Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Script Window: F3 to close #2697

Closed
mantid-builder opened this issue Nov 5, 2010 · 1 comment
Closed

Script Window: F3 to close #2697

mantid-builder opened this issue Nov 5, 2010 · 1 comment
Labels
Low Priority Things that you don't ever want to be done.
Milestone
Iteration 26

Comments

@mantid-builder
Copy link
Collaborator

Original Reporter: Michael Whitty

The Script Interpreter can be opened and closed with the F4 button, it would be nice is the Script Window was consistent with this and could be close/hidden with the F3 button, which currently doesn't do anything when the script window is open.
@mantid-builder
Copy link
Collaborator Author

This issue was originally trac ticket 1850

@mantid-builder mantid-builder added Low Priority Things that you don't ever want to be done. Mantid labels Jun 3, 2015
@mantid-builder mantid-builder added this to the Iteration 26 milestone Jun 3, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Low Priority Things that you don't ever want to be done.
Projects
None yet
Milestone
Iteration 26
Development

No branches or pull requests
1 participant
@mantid-builder