+static bool
+getWindingCCW ()
+{
+ return winding_ccw;
+}
+
+static void
+setWindingCCW (bool state)
+{
+ winding_ccw = state;
+ if ( winding_ccw )
+ glFrontFace ( GL_CCW );
+ else
+ glFrontFace ( GL_CW );
+}
+
+static bool
+getFullScreen ()
+{
+#if defined(FX) && !defined(WIN32)
+ return global_fullscreen;
+#else
+ return false;
+#endif
+}
+
+static void
+setFullScreen (bool state)
+{
+#if defined(FX) && !defined(WIN32)
+ global_fullscreen = state;
+# if defined(XMESA_FX_FULLSCREEN) && defined(XMESA_FX_WINDOW)
+ XMesaSetFXmode( global_fullscreen ? XMESA_FX_FULLSCREEN : XMESA_FX_WINDOW );
+# endif
+#endif
+}
+
+static bool
+getFDMDataLogging ()
+{
+ return fdm_data_logging;
+}
+
+static void
+setFDMDataLogging (bool state)
+{
+ // kludge; no getter or setter available
+ if (state != fdm_data_logging) {
+ fgToggleFDMdataLogging();
+ fdm_data_logging = state;
+ }
+}
+
+
+\f
+////////////////////////////////////////////////////////////////////////
+// Tie the properties.
+////////////////////////////////////////////////////////////////////////