Fl_MDI_Bar.h Source File

00001 /*
00002  * $Id: Fl_MDI_Bar.h,v 1.4 2003/03/31 04:54:05 parshin Exp $
00003  *
00004  * Extended Fast Light Toolkit (EFLTK)
00005  * Copyright (C) 2002-2003 by EDE-Team
00006  * WWW: http://www.sourceforge.net/projects/ede
00007  *
00008  * Fast Light Toolkit (FLTK)
00009  * Copyright (C) 1998-2003 by Bill Spitzak and others.
00010  * WWW: http://www.fltk.org
00011  *
00012  * This library is distributed under the GNU LIBRARY GENERAL PUBLIC LICENSE
00013  * version 2. See COPYING for details.
00014  *
00015  * Author : Mikko Lahteenmaki
00016  * Email  : mikko@fltk.net
00017  *
00018  * Please report all bugs and problems to "efltk-bugs@fltk.net"
00019  *
00020  */
00021 
00022 #ifndef _FL_MDI_BAR_H_
00023 #define _FL_MDI_BAR_H_
00024 
00025 #include "Fl_Group.h"
00026 #include "Fl_MDI_Window.h"
00027 
00029 class Fl_MDI_Bar : public Fl_Group
00030 {
00031 public:
00032     static Fl_Named_Style *default_style;
00033 
00035     Fl_MDI_Bar(int x, int y, int w, int h, const char *l=0);
00036 
00038     Fl_MDI_Bar(const char* l = 0,int layout_size=30,Fl_Align layout_al=FL_ALIGN_TOP,int label_w=100);
00039 
00041     virtual ~Fl_MDI_Bar();
00042 
00043     virtual void layout();
00044 
00045     int spacing() { return spacing_; }
00046     void spacing(int val) { spacing_ = val; }
00047 
00048     int max_button_width() { return max_button_width_; }
00049     void max_button_width(int w) { max_button_width_ = w; }
00050 
00051     Fl_Widget *find_task(Fl_MDI_Window *win);
00052 
00053     // These are called by Fl_MDI_Viewport..
00054     void add_task(Fl_MDI_Window *win);
00055     void remove_task(Fl_MDI_Window *win);
00056     void update_task(Fl_MDI_Window *win);
00057     void update_tasks();
00058 
00059 private:
00060     int max_button_width_;
00061     int spacing_;
00062 };
00063 
00064 #endif