Closed danionita closed 7 years ago
Right now double-clicking any element will either do nothing, or start editing the label.
A better option would be:
This is hard to do in jgraphx. What about making a hotkey for the e3properties window? F3 or something? Or maybe double right mouse click?
Ok. Then let's leave it as it is for now.
Right now double-clicking any element will either do nothing, or start editing the label.
A better option would be: