Double-click to rename

Double-click an element’s Navigator row to rename it in place, without opening the right-click menu.