new file

panda/src/gui/guiManager.I

@@ -0,0 +1,11 @@
+// Filename: guiManager.I
+// Created by:  cary (25Oct00)
+// 
+////////////////////////////////////////////////////////////////////
+
+INLINE GuiManager* GuiManager::get_ptr(void) {
+  if (_singleton == (GuiManager*)0L) {
+    _singleton = new GuiManager;
+  }
+  return _singleton;
+}

panda/src/gui/guiManager.h

@@ -0,0 +1,16 @@
+// Filename: guiManager.h
+// Created by:  cary (25Oct00)
+// 
+////////////////////////////////////////////////////////////////////
+
+#ifndef __GUIMANAGER_H__
+#define __GUIMANAGER_H__
+
+class GuiManager {
+private:
+  static GuiManager* _singleton;
+public:
+  INLINE static GuiManager* get_ptr(void);
+};
+
+#endif /* __GUIMANAGER_H__ */