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

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtktoolbutton.pre:78:   //! "icon-name" property only has an effect if not overridden by non-NULL   //! "label", "icon-widget", and "stock-id" properties.      string get_icon_name();   //! Returns the name of the themed icon for the tool button.   endrequire;      void set_icon_widget(GTK2.Widget icon_widget);   //! Sets icon_widget as the widget used as the icon on the button.    - GTK2.Widget get_icon_widget(); + +GTK2.Widget get_icon_widget();   //! Returns the widget used as the icon widget.      void set_label_widget(GTK2.Widget label_widget);   //! Sets label_widget as the widget used as the label.    - GTK2.Widget get_label_widget(); + +GTK2.Widget get_label_widget();   //! Returns the widget used as the label.   endrequire;