2009-10-03 11:33:08 +04:00
|
|
|
#ifndef __TASKBAR_H__
|
|
|
|
#define __TASKBAR_H__
|
|
|
|
|
|
|
|
#include <FL/Fl_Group.H>
|
|
|
|
|
|
|
|
class TaskButton;
|
|
|
|
class Panel;
|
|
|
|
|
|
|
|
class Taskbar : public Fl_Group {
|
|
|
|
public:
|
|
|
|
TaskButton *curr_active, *prev_active;
|
|
|
|
Panel *panel;
|
|
|
|
|
|
|
|
public:
|
|
|
|
Taskbar();
|
|
|
|
~Taskbar();
|
|
|
|
|
|
|
|
void create_task_buttons(void);
|
|
|
|
|
|
|
|
void resize(int X, int Y, int W, int H);
|
|
|
|
void layout_children(void);
|
|
|
|
|
|
|
|
void update_active_button(int xid = -1);
|
|
|
|
void activate_window(TaskButton *b);
|
|
|
|
void update_child_title(Window xid);
|
2010-03-10 02:38:57 +03:00
|
|
|
void update_child_icon(Window xid);
|
2009-10-03 11:33:08 +04:00
|
|
|
|
|
|
|
void panel_redraw(void);
|
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|