openworm/org.geppetto.frontend — pull request #221 by mlolson (2014-11-19 17:21:12+00:00)
Title: Fix various bugs for release

* Add Geppetto logo.
* Display console in front of widgets.