/**********************************************************************
 *
 *   FreeDoko a Doppelkopf-Game
 *    
 *   Copyright (C) 2001-2004  by Diether Knof and Borg Enders
 *
 *   This program is free software; you can redistribute it and/or 
 *   modify it under the terms of the GNU General Public License as 
 *   published by the Free Software Foundation; either version 2 of 
 *   the License, or (at your option) any later version.
 *
 *   This program is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *   GNU General Public License for more details. 
 *   You can find this license in the file 'gpl.txt'.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with this program; if not, write to the Free Software
 *   Foundation, Inc., 59 Temple Place, Suite 330, Boston, 
 *   MA  02111-1307  USA
 *
 *  Contact:
 *    Diether Knof dknof@gmx.de
 *    Borg Enders  borg@borgsoft.de
 *
 **********************************************************************/

#ifdef USE_UI_GTK

// a label with a spin button

#ifndef XGTK_LABEL_SPINBUTTON_HEADER
#define XGTK_LABEL_SPINBUTTON_HEADER

#include "XGtkLabelAdjustment.h"

namespace GTK_DOKO {

  class XGtkLabelSpinbutton : public XGtkLabelAdjustment {
    public:
      // constructor
      XGtkLabelSpinbutton(string const& text);

      // destructor
      ~XGtkLabelSpinbutton();


      // the the adjustment
      GtkAdjustment* adjustment();
      // the widget with the adjustment
      GtkWidget* adjustment_widget();


      // set the minimal and maximal value
      void minmax_set(int const min, int const max);

      // set the value
      void value_set(unsigned const value);
      // get the value
      unsigned value();

    private:
      GtkWidget* spin_button; // the spin_button

    private: // not to be used
      XGtkLabelSpinbutton();
      XGtkLabelSpinbutton(const XGtkLabelSpinbutton&);
      XGtkLabelSpinbutton& operator=(const XGtkLabelSpinbutton&);
  }; // class XGtkLabelSpinbutton : public XGtkLabelAdjustment

} // namespace GTK_DOKO

#endif // #ifndef XGTK_LABEL_SPINBUTTON_HEADER

#endif // #ifdef USE_UI_GTK
