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 moveTab(int fromIndex, int toIndex);
private:
+ ///
int clicked_tab_;
+ ///
+ QToolButton * closeBufferButton;
}; // TabWorkArea