openworm/org.geppetto.frontend — pull request #155 by mlolson (2014-09-10 19:28:06+00:00)
Title: Development bugs

* Make fullscreen code editor larger.
* Give camera control buttons fixed positions.
* Fix border issue on disabled buttons.
* User event mixin in LoadingSpinner component, dismiss modal if error occurs.
* Listen for "enter" keypress in loading dialog, load simulation when it occurs (rather than dismissing the modal)