GLab/ToMaTo — pull request #777 by t-gerhard (2014-08-05 11:01:15+00:00)
Title: disabled right-click buttons for busy elements

Closes #744