Include file:
#include "mcrl2/gui/arcball.h"
applyRotation
arcballRotation
mcrl2::gui::qt::qt_tool
mcrl2/gui/codeeditor.h