karl 8138c506d9 Improve mouse rotation code
This had some quirks previously, now it works cleanly with quaternions.
2020-10-02 22:47:27 +02:00
..
2020-01-07 20:02:40 +01:00
2020-10-02 22:47:27 +02:00