| 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 First Reported In: | 4.2.1 | ||
| Target Milestone: | 4.2.0 | ||
| Platform: | Compiled Sources | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
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. |