///
~GuiWorkArea();
+ ///
+ void setFullScreen(bool full_screen);
///
void scheduleRedraw() { schedule_redraw_ = true; }
///
public:
TabWorkArea(QWidget * parent = 0);
+ ///
+ void setFullScreen(bool full_screen);
void showBar(bool show);
void closeAll();
bool setCurrentWorkArea(GuiWorkArea *);
///
void on_currentTabChanged(int index);
///
+ void closeCurrentBuffer();
+ ///
void closeCurrentTab();
///
void updateTabText(GuiWorkArea *);