openscad/openscad — pull request #172 by donbright (2012-08-06 04:58:36+00:00)
Title: fix issue160 by adding updateGL() call after 'f5' (opencsg)

this solves issue #160 (f5 not updating the screen under Wine win32 build) by adding an updateGL call when the user presses the 'f5' key.

i have tested on linux (32 bit build) and wine (mingw build) and have seen no problems. i also tested animation, and saw no problems.