GGU-ELASTIC: "Edit (nodes)" menu item

By double-clicking a node using the left mouse button a dialog box appears allowing the coordinates to be edited via the keyboard.