Summary: | Selecting workspace with one click | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | jean honlet <jeanhonlet> |
Component: | IDE | Assignee: | Jan-Ove Weichel <ovi.weichel> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | gautier.desaintmartinlacaze, krzysztof.daniel, Lars.Vogel, robert.roth.off |
Version: | 4.2.2 | Keywords: | helpwanted, noteworthy |
Target Milestone: | 4.6 M5 | ||
Hardware: | PC | ||
OS: | Windows 7 | ||
See Also: |
https://git.eclipse.org/r/59373 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e08b517fa9a85e5c8427c8c175b2fc67bb396297 https://bugs.eclipse.org/bugs/show_bug.cgi?id=498051 https://bugs.eclipse.org/bugs/show_bug.cgi?id=531611 |
||
Whiteboard: | |||
Bug Depends on: | |||
Bug Blocks: | 484340, 486842, 487673 |
Description
jean honlet
2013-06-25 06:15:10 EDT
What do the maintainers think about this? I think this would be a great enhancement, and would like to work on this, if we can agree on a design (I'm ok with the proposed design). Jan-Ove is working on this bug. I suggest to add also a button to the laucher which allows to delete workspaces from the selection (and drop-down) list. New Gerrit change created: https://git.eclipse.org/r/59373 Gerrit change https://git.eclipse.org/r/59373 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e08b517fa9a85e5c8427c8c175b2fc67bb396297 Awesome. This will simplify the workflow of people using multiple workspaces. Thanks a bunch Jan-Ove. |