openworm/org.geppetto.frontend — pull request #96 by jrmartin (2014-05-08 16:16:38+00:00)
Title: Selection and unselection of entities

Fix for issue 95 .