| Summary: | [html][tooling] Add feature to change element's tag | ||
|---|---|---|---|
| Product: | [ECD] Orion | Reporter: | Carolyn MacLeod <Carolyn_MacLeod> |
| Component: | JS Tools | Assignee: | Michael Rennie <Michael_Rennie> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | kuschel |
| Version: | unspecified | ||
| Target Milestone: | 16.0 | ||
| Hardware: | PC | ||
| OS: | Windows 7 | ||
| See Also: | https://github.com/eclipse/orion.client/pull/113 | ||
| Whiteboard: | |||
|
Description
Carolyn MacLeod
GitHub Pull Request 113 created by [mrennie] https://github.com/eclipse/orion.client/pull/113 Merged. An even cooler fix for this would be not to have a rename command at all. Just let the user select the start or end tag and type the new tag name right over the old one. I've seen other html editors work like this. It's much simpler than having to type a command first, and the assumption is that if you are typing a new start tag name, you obviously want the end tag fixed up as well (and vice-versa). |