openworm / org.geppetto.frontend

Geppetto Java frontend bundle
http://www.geppetto.org/
Other
29 stars 25 forks source link

Selection in the console is not persisted #97

Closed tarelli closed 10 years ago

tarelli commented 10 years ago

As soon as the mouse is released the text becomes unselected, this makes it impossible to copy content from the console.

System: OSX 10.8.5, Google Chrome Version 34.0.1847.131

msasinski commented 10 years ago

This works under Firefox. @tarelli please add more info regarding your setup. Please review contribution guidelines, especially the part about filing bugs https://github.com/openworm/org.geppetto/wiki/How-to-contribute-to-Geppetto

;)

tarelli commented 10 years ago

@msasinski done :+1: