///
~GuiWorkArea();
+ ///
+ void setFullScreen(bool full_screen);
///
void scheduleRedraw() { schedule_redraw_ = true; }
///
void stopBlinkingCursor();
///
void startBlinkingCursor();
- ///
- void startGeneralTimer() { general_timer_.start(); }
- ///
- void stopGeneralTimer() { general_timer_.stop(); }
/// Process Key pressed event.
/// This needs to be public because it is accessed externally by GuiView.
void processKeySym(KeySymbol const & key, KeyModifier mod);
void doubleClickTimeout();
/// toggle the cursor's visibility
void toggleCursor();
- /// events to be triggered by general_timer_ should go here
- void handleRegularEvents();
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
///
QTimer cursor_timeout_;
- /// this timer is used for any regular events one wants to
- /// perform. at present it is used to check if forked processes
- /// are done.
- QTimer general_timer_;
///
SyntheticMouseEvent synthetic_mouse_event_;
///
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 *);