+ void on_view_showHoverMarker_changed(int state);
+ void on_view_snapDistance_changed(int value);
+ void on_view_conversionThresholdDispMode_changed(int state);
+ void on_view_defaultDivHeight_changed(int value);
+ void on_view_defaultLogicHeight_changed(int value);
+#ifdef ENABLE_DECODE