fractalide/fractallang — pull request #36 by dmichiels (2014-05-03 16:58:40+00:00)
Title: edit the component options

This PR allow the modification of the component options while one is focused.
The options are editable by double-click on the value, and the press Enter. The text is evaluated in Oz value.