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.

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

prompt_on_close_tab option #546

Merged
merged 1 commit into from
May 18, 2015
Merged

Conversation

tobz1000
Copy link
Contributor

A feature I was missing from gnome-terminal. Like prompt_on_quit, but for individual terminals. Values are "never" (default), "with process running", and "always".

Additionally, if set to "with process running", the quit-prompt will be shown
when quitting Guake if there are any subprocesses running. If set to "always",
it essentially overrides the prompt_on_quit option.

The option is in the GUI as a dropdown, just above prompt_on_quit. prompt_on_quit now behaves more a sub-option of prompt_on_close_tab.

If one of the two prompts is open (close tab or quit Guake) and the other opens, the first will be destroyed. Otherwise I found Guake wouldn't quit until the close-tab prompt was dismissed.

I changed the prompt text slightly; it includes the number of tabs open when quitting.

Please let me know what you think if you get a chance :)

terminals. Values are "never", "with process running", and "always".

Additionally, if set to "with process running", the quit-prompt will be shown
when quitting Guake if there are any subprocesses running. If set to "always",
it essentially overrides the prompt_on_quit option.
@gsemet
Copy link
Member

gsemet commented May 16, 2015

Look great ! I test it and merge it asap

@gsemet
Copy link
Member

gsemet commented May 18, 2015

Tested and approuved !

@gsemet gsemet closed this May 18, 2015
@gsemet gsemet reopened this May 18, 2015
gsemet added a commit that referenced this pull request May 18, 2015
@gsemet gsemet merged commit 4e2195a into Guake:master May 18, 2015
@gsemet gsemet added this to the 0.7.1 milestone May 18, 2015
gsemet added a commit that referenced this pull request Jan 30, 2017
gsemet added a commit that referenced this pull request Jan 30, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants