Performance optimizations:
- Avoid dynamic_casts in eventFilter which is called quite often
- Only repaint marble widget when the button check state has really changed. zoomChanged() is called frequently.
- Activate item caching via pixmaps. This increases rendering speed nearly by a factor of 4 on my system, painting the float item without caching takes around 55 ms, less than 1 ms with.