Jonathan Westhues 72d188619d Add a scale factor when exporting; the user specifies a number, and ... all coordinates are divided by that number as we export. And add functions to store a float in the registry. I'm using those for the scale factor, and also to replace the crazy scaled integers that I was using for light positions etc. before. [git-p4: depot-paths = "//depot/solvespace/": change = 1824]		2008-07-07 23:41:29 -08:00
..
w32main.cpp	Add a scale factor when exporting; the user specifies a number, and	2008-07-07 23:41:29 -08:00