1998-10-20 01:39:29 +04:00
|
|
|
//
|
2005-02-25 00:55:12 +03:00
|
|
|
// "$Id$"
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
|
|
|
// Tab header file for the Fast Light Tool Kit (FLTK).
|
|
|
|
//
|
2010-11-29 00:06:39 +03:00
|
|
|
// Copyright 1998-2010 by Bill Spitzak and others.
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
|
|
|
// This library is free software; you can redistribute it and/or
|
|
|
|
// modify it under the terms of the GNU Library General Public
|
|
|
|
// License as published by the Free Software Foundation; either
|
|
|
|
// version 2 of the License, or (at your option) any later version.
|
|
|
|
//
|
|
|
|
// This library 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
|
|
|
|
// Library General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Library General Public
|
|
|
|
// License along with this library; if not, write to the Free Software
|
|
|
|
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
|
|
|
|
// USA.
|
|
|
|
//
|
2005-04-16 04:13:17 +04:00
|
|
|
// Please report all bugs and problems on the following page:
|
|
|
|
//
|
|
|
|
// http://www.fltk.org/str.php
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|
1998-10-06 22:21:25 +04:00
|
|
|
|
2008-10-15 17:46:06 +04:00
|
|
|
/* \file
|
2008-09-16 11:26:22 +04:00
|
|
|
Fl_Tabs widget . */
|
|
|
|
|
1998-10-06 22:21:25 +04:00
|
|
|
#ifndef Fl_Tabs_H
|
|
|
|
#define Fl_Tabs_H
|
|
|
|
|
|
|
|
#include "Fl_Group.H"
|
|
|
|
|
2008-09-14 19:45:27 +04:00
|
|
|
/**
|
2008-09-17 19:44:43 +04:00
|
|
|
The Fl_Tabs widget is the "file card tabs"
|
2008-09-14 19:45:27 +04:00
|
|
|
interface that allows you to put lots and lots of buttons and
|
|
|
|
switches in a panel, as popularized by many toolkits.
|
|
|
|
|
2010-12-09 02:53:04 +03:00
|
|
|
\image html tabs.png
|
|
|
|
\image latex tabs.png "Fl_Tabs" width=8cm
|
2008-09-14 19:45:27 +04:00
|
|
|
|
2008-12-13 21:31:54 +03:00
|
|
|
Clicking the tab makes a child visible() by calling
|
2008-09-14 19:45:27 +04:00
|
|
|
show() on it, and all other children are made invisible
|
|
|
|
by calling hide() on them. Usually the children are Fl_Group widgets
|
|
|
|
containing several widgets themselves.
|
|
|
|
|
2008-12-13 21:31:54 +03:00
|
|
|
Each child makes a card, and its label() is printed
|
2008-09-14 19:45:27 +04:00
|
|
|
on the card tab, including the label font and style. The
|
|
|
|
selection color of that child is used to color the tab, while
|
2008-12-13 21:31:54 +03:00
|
|
|
the color of the child determines the background color of the pane.
|
2008-09-14 19:45:27 +04:00
|
|
|
|
2008-12-13 21:31:54 +03:00
|
|
|
The size of the tabs is controlled by the bounding box of the
|
2008-09-14 19:45:27 +04:00
|
|
|
children (there should be some space between the children and
|
|
|
|
the edge of the Fl_Tabs), and the tabs may be placed
|
2008-12-13 21:31:54 +03:00
|
|
|
"inverted" on the bottom - this is determined by which
|
2008-09-14 19:45:27 +04:00
|
|
|
gap is larger. It is easiest to lay this out in fluid, using the
|
|
|
|
fluid browser to select each child group and resize them until
|
|
|
|
the tabs look the way you want them to.
|
|
|
|
*/
|
2002-08-14 20:49:38 +04:00
|
|
|
class FL_EXPORT Fl_Tabs : public Fl_Group {
|
1998-10-06 22:21:25 +04:00
|
|
|
Fl_Widget *value_;
|
|
|
|
Fl_Widget *push_;
|
2010-12-22 16:06:03 +03:00
|
|
|
int *tab_pos; // array of x-offsets of tabs per child + 1
|
|
|
|
int *tab_width; // array of widths of tabs per child + 1
|
|
|
|
int tab_count; // array size
|
|
|
|
int tab_positions(); // allocate and calculate tab positions
|
|
|
|
void clear_tab_positions();
|
2002-08-14 20:49:38 +04:00
|
|
|
int tab_height();
|
|
|
|
void draw_tab(int x1, int x2, int W, int H, Fl_Widget* o, int sel=0);
|
2000-06-10 23:30:01 +04:00
|
|
|
protected:
|
2006-05-30 13:38:19 +04:00
|
|
|
void redraw_tabs();
|
2002-08-14 20:49:38 +04:00
|
|
|
void draw();
|
2000-06-10 23:30:01 +04:00
|
|
|
|
1998-10-06 22:21:25 +04:00
|
|
|
public:
|
2002-08-14 20:49:38 +04:00
|
|
|
int handle(int);
|
2006-08-17 17:43:07 +04:00
|
|
|
Fl_Widget *value();
|
2002-08-14 20:49:38 +04:00
|
|
|
int value(Fl_Widget *);
|
1998-10-06 22:21:25 +04:00
|
|
|
Fl_Widget *push() const {return push_;}
|
2002-08-14 20:49:38 +04:00
|
|
|
int push(Fl_Widget *);
|
|
|
|
Fl_Tabs(int,int,int,int,const char * = 0);
|
|
|
|
Fl_Widget *which(int event_x, int event_y);
|
2010-12-22 16:06:03 +03:00
|
|
|
~Fl_Tabs();
|
|
|
|
void client_area(int &rx, int &ry, int &rw, int &rh, int tabh=0);
|
1998-10-06 22:21:25 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|
1998-10-20 01:39:29 +04:00
|
|
|
|
|
|
|
//
|
2005-02-25 00:55:12 +03:00
|
|
|
// End of "$Id$".
|
1998-10-20 01:39:29 +04:00
|
|
|
//
|