pike.git / src / post_modules / GTK2 / source / gtkoptionmenu.pre

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkoptionmenu.pre:1:   not gtk24;    - class GTK.OptionMenu; - inherit GTK.Button; + class GTK2.OptionMenu; + inherit GTK2.Button;      //! A OptionMenu is a widget that allows the user to choose from a   //! list of valid choices. The OptionMenu displays the selected   //! choice. When activated the OptionMenu displays a popup W(Menu)   //! which allows the user to make a new choice.   //! <p>   //! IMG: GTK.OptionMenu()->set_menu(GTK.Menu()->add( GTK.Menu_item("Option 1") ));   //! </p>   //! Properties:   //! GTK2.Menu menu