///
~GuiWorkArea();
+ ///
+ void setFullScreen(bool full_screen);
///
void scheduleRedraw() { schedule_redraw_ = true; }
///
void doubleClickTimeout();
/// toggle the cursor's visibility
void toggleCursor();
-
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
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 *);