Castle Game Engine: Improvements to property editors, in particular display and input angles in degrees in the editor

We’ve done a number of “quality of life” improvements to properties manipulation in the Castle Game Engine editor. We simplified the display of floats and vectors. No need for excessive trailing zeroes. Instead of 0.00 0.00.0.00 or 1.00 2.00 3.00 we now display 0 0 0 or 1 2 3 which is much easier to …