GLab/ToMaTo — pull request #749 by t-gerhard (2014-06-24 13:24:17+00:00)
Title: options to show component IDs and element sites in right-click menu

Closes #276

Added option to show IDs of connections, elements, the topology (now disabled by default) in menus
Added option to show the site in elements' right-click menu