-
-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
Add an option to set window title to the command line #3133
Conversation
@@ -37,5 +37,7 @@ def get_options(): | |||
parser.add_option('--profile', action='store_true', default=False, | |||
help="Profile mode (internal test, " | |||
"not related with Python profiling)") | |||
parser.add_option('--windowtitle', type=str, default=None, |
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.
Could add an hyphen between window
and title
? So this option should be
--window-title
Other than my minor comments, I think this is ready :-) |
Ok, code is updated with the suggestions. |
@@ -439,6 +439,9 @@ def signal_handler(signum, frame=None): | |||
sys.version_info[1]) | |||
if DEBUG: | |||
title += " [DEBUG MODE %d]" % DEBUG | |||
if not options.window_title is None: |
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.
if options.window_title is not None:
is more commonly used in python, because it looks like an english sentence.
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.
Ok, changed to code for this
@eendebakpt, thanks a lot for your contribution! :-) |
Fixes #3129