More minor fixes in this release. The main fix here is for the wall auto-rounding option in the editor, which did not work correctly in 0.9.2. Also, the .desktop files in the RPM were not compliant with the most recent Linux desktop specification, so I have made some corrections to those. Apart from those 2 changes, the rest is minor code cleanups. Get it here.

A stable 1.0 release should be close (hmm, I think I said this before...).