Community
Participate
Working Groups
I think the ChooseWorkspaceWithSettingsDialog should also allow to copy the preference settings.
Moving to IDE.
David, could you prepare a patch for the UI change?
New Gerrit change created: https://git.eclipse.org/r/94044
Gerrit change https://git.eclipse.org/r/94044 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=7c771321f16cf0f356de660ab65c3c7099d8612f
Thanks a bunch David, this solves a painful need of developers to transfer their preference settings during workspace switch. Please validate the fix in tomorrows I-Build, as discussed it is hard / not possible (?) to test this in a runtime workspace as you cannot switch. But calling the class did the correct thing.
If I click now on the "Copy settings" menu, I get the scrollbar and the "Preferences" is not visible, I will attach the screenshot. The "Recent Workspaces" does this better: it resizes the dialog if there are no space.
Created attachment 268116 [details] invisible preferences checkbox
Created attachment 268117 [details] white border around settings group (In reply to Andrey Loskutov from comment #8) > Created attachment 268116 [details] > invisible preferences checkbox Steps to reproduce: open "Switch to workspace" dialog, click to expand workspaces, click to collapse them, click to expand settings, click to collapse them and now expand them again. Additional issues: - if "workspaces" are expanded, expanding "settings" will hide parts of the list above - if workspaces were expanded before switching, next time dialog is opened, "settings" group will have a think white border (!?)
I've tested on Windows 7 / Linux GTK3, behavior & L&F seem to be mostly same.
I suggest to handle the layout issues via Bug 515077. I think not all of them are new.
New Gerrit change created: https://git.eclipse.org/r/96262
Gerrit change https://git.eclipse.org/r/96262 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=bb2c7f54d1ef88604ccb52d1d755d3f1832a5c75