openscad/openscad — pull request #155 by donbright (2012-07-23 02:29:44+00:00)
Title: Fontsize save

this patch enables openscad to 'remember' the font size set by the user, both from the Edit/Zoomout menu and the Preferences dialog.

It also enables ctrl-mousewheel font size changes, which are a common idiom on Linux and Windows (firefox, Internet Explorer, etc).