class QKeyEvent;
class QWheelEvent;
class QPaintEvent;
+class QToolButton;
class QWidget;
#ifdef CursorShape
bool restart_timeout;
int x_old;
int y_old;
- double scrollbar_value_old;
+ int min_scrollbar_old;
+ int max_scrollbar_old;
};
void setWidgetResizable(bool) {}
void setWidget(QWidget *) {}
+ ///
+ void disable();
+
+protected:
+ ///
+ void closeEvent(QCloseEvent * ev);
+ ///
+ void hideEvent(QHideEvent *ev);
+
private:
/// Embedded Buffer.
Buffer * buffer_;
void moveTab(int fromIndex, int toIndex);
private:
+ ///
int clicked_tab_;
+ ///
+ QToolButton * closeBufferButton;
}; // TabWorkArea