Index C++ Code Documentation widget::ui::Int Derived from: widget::ui::virtual Widget Children: gtk::widget0::HScaleInt, gtk::widget0::HScaleIntCb, gtk::widget0::SpinButton, gtk::widget1::NumberWidgetInt, gtk::widget1::NumberWidgetIntCb File: WIDGET/widget/ui/Int.H public: Int(); constructor virtual ~Int(); destructor virtual void set( int a ) = 0; virtual void set_blocked( int a ); virtual int get() const = 0; protected: private: Int( Int const & ); disabled copy constructor Int &operator=( Int const & ); disabled assignment operator
	widget::ui::Int GANG