mirror of
https://github.com/edeproject/ede.git
synced 2023-08-10 21:13:03 +03:00
65018f75b7
emenueditor
56 lines
968 B
C++
Executable File
56 lines
968 B
C++
Executable File
#ifndef _TASKBUTTON_H_
|
|
#define _TASKBUTTON_H_
|
|
|
|
/*#include <efltk/Fl_Button.h>
|
|
#include <efltk/Fl_Menu_.h>
|
|
#include <efltk/Fl_WM.h>*/
|
|
|
|
#include <fltk/Button.h>
|
|
#include <fltk/Menu_.h>
|
|
#include <fltk/WM.h>
|
|
|
|
class TaskBar;
|
|
|
|
// One task in taskabr
|
|
class TaskButton : public fltk::Button
|
|
{
|
|
public:
|
|
// TashBar is needed for this pointer, so we can call update()
|
|
TaskButton(Window w);
|
|
|
|
// Menu stuff
|
|
static fltk::Menu_ *menu;
|
|
static TaskButton *pushed;
|
|
};
|
|
|
|
/////////////////////////////////////
|
|
|
|
class TaskBar : public fltk::Group
|
|
{
|
|
public:
|
|
TaskBar();
|
|
|
|
// Active window ID
|
|
static Window active;
|
|
|
|
//Are buttons variable width
|
|
static bool variable_width;
|
|
|
|
void layout();
|
|
|
|
void update();
|
|
void update_name(Window win);
|
|
void update_active(Window active);
|
|
|
|
int max_taskwidth() const { return m_max_taskwidth; }
|
|
|
|
void minimize_all();
|
|
|
|
private:
|
|
void add_new_task(Window w);
|
|
|
|
int m_max_taskwidth;
|
|
};
|
|
|
|
#endif
|