Summary: | make it simpler to rename launch configurations | ||
---|---|---|---|
Product: | [Applications] kdevelop | Reporter: | Wolfgang Bangerth <bangerth> |
Component: | UI: all modes | Assignee: | kdevelop-bugs-null |
Status: | RESOLVED FIXED | ||
Severity: | wishlist | CC: | aleixpol |
Priority: | NOR | ||
Version: | 4.2.1 | ||
Target Milestone: | 4.2.0 | ||
Platform: | Compiled Sources | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Wolfgang Bangerth
2011-05-03 04:44:18 UTC
I realize now that what I said isn't actually true: One can double click on the launch name in the tree view and thereby edit it. But that really isn't obvious: I think most everyone will consider the tree view to just be a navigation aid for the information displayed on the right half of the window. yeah this could be made simpler This was reworked during the sprint, I hope it's better now. |