Changeset 1974 in orxonox.OLD for orxonox/branches

Timestamp:

Jun 17, 2004, 9:35:55 PM (20 years ago)

Author:

bensch

Message:

orxonox/branches/gui/guicc: added OptionMenu

Location:

orxonox/branches/gui/guicc

Files:

• orxonox_gui.cc (modified) (2 diffs)
• orxonox_gui.h (modified) (2 diffs)

orxonox/branches/gui/guicc/orxonox_gui.cc

@@ -21 +21 @@
   slider->connectSignal ("value_changed", slider->OptionChange);
   box->fill(slider);
-  
+  Menu* menu = new Menu("test1", "no output", "verbose", "debug", "lastItem");
+  menu->connectSignal ("changed", menu->OptionChange);
+  box->fill(menu);
   orxonoxGUI->showall ();
   
@@ -236 +238 @@
   cout << static_cast<Slider*>(slider)->value << endl;
 }
+
+
+Menu::Menu(char* menuname, ...)
+{
+  /** 
+   * Creates an Menu-Item-list out of multiple input. Consider, that the last input argument has to be "lastItem" for this to work.
+   */
+  char *tmp;
+  va_list itemlist;
+  widget = gtk_option_menu_new();
+  GtkWidget* menu = gtk_menu_new ();
+  GtkWidget* item;
+
+  va_start(itemlist, menuname);
+  while (strcmp(tmp = va_arg(itemlist, char*), "lastItem"))
+    {
+      item = gtk_menu_item_new_with_label (tmp);
+      gtk_menu_shell_append(GTK_MENU_SHELL (menu), item);
+    }
+  va_end(itemlist);
+
+  gtk_option_menu_set_menu (GTK_OPTION_MENU (widget), menu);
+}
+
+gint Menu::OptionChange (GtkWidget *widget, Widget* menu)
+{
+  /** 
+   * Writes value, if changed on the Menu, to the object.
+   */
+  static_cast<Menu*>(menu)->value = (int)gtk_option_menu_get_history (GTK_OPTION_MENU(menu->widget));
+  cout << static_cast<Menu*>(menu)->value << endl;
+}

orxonox/branches/gui/guicc/orxonox_gui.h

@@ -12 +12 @@
 #include <gtk/gtkcheckbutton.h>
 #include <gtk/gtkhscale.h>
+#include <gtk/gtkoptionmenu.h>
+#include <gtk/gtkmenu.h>
+#include <gtk/gtkmenuitem.h>
 
 
@@ -103 +106 @@
 {
  public:
-  Slider (char * slidername,int start, int end);
+  Slider (char* slidername,int start, int end);
   ~Slider();
   int i;
   static gint OptionChange (GtkWidget *widget, Widget* slider);
 };
+
+class Menu : public Option
+{
+ public:
+  Menu(char* menuname, ...);
+  ~Menu();
+
+  static gint OptionChange (GtkWidget *widget, Widget* menu);
+};
+    
 //gint orxonox_gui_quit ( GtkWidget *widget, GdkEvent *event, gpointer data);