Feature: Allow double-click renaming in the element navigator.

[adamboduch]

In the element navigator in the top left, it would be nice to be able to rename elements with a double click in addition to right click -> Rename. Is this possible/feasible?

[amolenaar]

The double click is already used for opening diagrams.

If double click means renaming on non-diagram elements, wouldn't that be ambiguous?

[adamboduch]

Absolutely. My mistake.

[amolenaar]

What may be an option is to show a popup with a number of diagrams the item is shown in. In case of one diagram that one is directly shown and the item is focused (and centered).

It's a bit exotic and I don't have time to implement it any time soon, but it may be a good usage, in line with opening diagrams :)

[wrobell]

What about F2 keystroke for renaming an item in the tree?

[adamboduch]

Sure. I just think it makes sense to be able to do so without relying on the mouse.

[amolenaar]

It's committed :)

See 7d60312