refactor + rehighlight only if we are no doing a reload (issue #406)
fix build problem
Merge branch 'master' of github.com:openscad/openscad into issue406
Merge branch 'master' into issue406
Editor hiding broke after adding the search panel. Fixes #664
#665 Improve automatic backup: Only save if editor is dirty
fix failing tests per comments on github, make slightly more robust
Merge branch 'master' of github.com:openscad/openscad into issue235
Merge branch 'issue235' of github.com:openscad/openscad into issue235