User plug renaming

Plugs can be renamed by double clicking on the name field, and then editing the name in the text widget that pops up in place.