GNOME Bugzilla – Bug 313326
Default Profile changes when editing profiles
Last modified: 2005-08-19 20:50:55 UTC
Please describe the problem: After editing a profile, the default profile shown in the Manage Profiles window resets to the first profile in the list. Steps to reproduce: 1. Suppose you have 3 profiles, A, B, and C. 2. Edit->Profiles... 3. Select B as your default profile 4. Select Profile C in the list and click the Edit button. 5. Click Close on the edit window. Actual results: The default profile changes to A. Expected results: The default profile stays at B. Does this happen every time? Yes. Other information:
Created attachment 50636 [details] [review] Proposed patch This one is rather subtle! Calling gtk_option_menu_set_menu then gtk_option_menu_set_history causes the option menu's change notification to fire twice. We must call update_default_profile on each change, otherwise the second time it thinks nothing changed.
Thanks for bug report! Priority high due to the patch.
I'm going to go through gnome-terminal and vte patches later today and make sure we get some of these fixes in before the next release.
Commited. Thanks