1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
|
#pragma once
#include <QtWidgets/QTabWidget>
#include <QtWidgets/QTabBar>
#include <QtWidgets/QStackedWidget>
#include <QtWidgets/QHBoxLayout>
#include <QtWidgets/QAbstractScrollArea>
#include <QtWidgets/QStylePainter>
#include <QtWidgets/QRubberBand>
#include <QtGui/QMouseEvent>
#include "uitypes.h"
class DockableTabWidget;
class BINARYNINJAUIAPI DockableTabCollection
{
std::set<DockableTabWidget*> m_containers;
public:
void registerContainer(DockableTabWidget* widget);
void unregisterContainer(DockableTabWidget* widget);
const std::set<DockableTabWidget*>& containers() const { return m_containers; }
};
class BINARYNINJAUIAPI TabDragIndicator: public QWidget
{
Q_OBJECT
QPixmap m_pixmap;
QImage m_newWindowImage;
QSize m_size, m_currentSize;
QPoint m_offset;
bool m_newWindow;
public:
TabDragIndicator(QPixmap pixmap, QSize size, QPoint pt, QPoint offset, bool newWindow);
void moveToMouse(QPoint pt);
QPixmap pixmap() const { return m_pixmap; }
QSize size() const { return m_size; }
QPoint offset() const { return m_offset; }
protected:
virtual QSize sizeHint() const override;
virtual QSize minimumSizeHint() const override;
virtual void paintEvent(QPaintEvent* event) override;
};
class BINARYNINJAUIAPI DockableTabBar: public QAbstractScrollArea
{
Q_OBJECT
struct TabInfo
{
QString title;
QString toolTip;
QRect tabRect, closeButtonRect, closeIconRect;
bool modifiedIndicator;
};
DockableTabCollection* m_collection;
std::vector<TabInfo> m_tabs;
int m_active = -1;
bool m_mouseInside = false;
int m_closeButtonHover = -1;
int m_closeButtonDown = -1;
std::optional<QPoint> m_tabDragStart;
TabDragIndicator* m_tabDragIndicator = nullptr;
DockableTabBar* m_tabDragTarget = nullptr;
int m_tabDragWidth;
int m_tabDragTargetIndex = -1;
bool m_tabDragNewWindow = false;
QRubberBand* m_tabDropIndicator = nullptr;
int m_placeholderIndex = -1;
int m_placeholderWidth;
QRect m_placeholderRect;
QTimer* m_timer;
QStyleOptionTab styleForTab(int idx, const TabInfo& info) const;
QSize sizeForTab(const QStyleOptionTab& tabStyle, const TabInfo& info) const;
int closeButtonSize() const;
void updateLayout();
void paintTab(QStylePainter& p, const TabInfo& info, int i, const QRect& rect);
public:
DockableTabBar(DockableTabCollection* collection);
virtual ~DockableTabBar();
int addTab(const QString& title);
int insertTab(int idx, const QString& title);
void removeTab(int idx);
void setCurrentIndex(int idx);
void setTabText(int idx, const QString& title);
void setTabToolTip(int idx, const QString& toolTip);
void setTabModifiedIndicator(int idx, bool indicator);
int count() const;
int currentIndex() const;
int tabAt(const QPoint& pt);
QRect tabRect(int idx);
QString tabText(int idx);
QString tabToolTip(int idx);
bool tabModifiedIndicator(int idx);
void ensureCurrentTabVisible();
Q_SIGNALS:
void currentChanged(int idx);
void tabCloseRequested(int idx);
void tabMoved(int oldIdx, int newIdx);
void newWindowForTab(int idx, QRect rectHint);
void reparentTab(int oldIdx, DockableTabWidget* target, int newIdx);
private Q_SLOTS:
void underMouseTimerEvent();
protected:
virtual QSize sizeHint() const override;
virtual QSize minimumSizeHint() const override;
virtual void paintEvent(QPaintEvent* event) override;
virtual void enterEvent(QEnterEvent* event) override;
virtual void leaveEvent(QEvent* event) override;
virtual void mouseMoveEvent(QMouseEvent* event) override;
virtual void mousePressEvent(QMouseEvent* event) override;
virtual void mouseReleaseEvent(QMouseEvent* event) override;
virtual void resizeEvent(QResizeEvent* event) override;
virtual void wheelEvent(QWheelEvent* event) override;
};
class BINARYNINJAUIAPI DockableTabBarWithCornerWidget: public QWidget
{
DockableTabBar* m_bar;
QHBoxLayout* m_barLayout;
protected:
virtual void paintEvent(QPaintEvent* event) override;
public:
DockableTabBarWithCornerWidget(DockableTabBar* bar);
DockableTabBar* tabBar() const { return m_bar; }
void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner);
};
class BINARYNINJAUIAPI DockableTabWidget: public QWidget
{
Q_OBJECT
DockableTabCollection* m_collection;
DockableTabBar* m_bar;
DockableTabBarWithCornerWidget* m_cornerWidget;
QStackedWidget* m_widgets;
void addReparentedTab(DockableTabWidget* source, int idx, QWidget* widget,
const QString& title, const QString& toolTip);
public:
DockableTabWidget(DockableTabCollection* collection, DockableTabBar* bar = nullptr);
int addTab(QWidget* widget, const QString& title);
int insertTab(int idx, QWidget* widget, const QString& title);
void removeTab(int idx);
int count();
int currentIndex();
QWidget* currentWidget();
QWidget* widget(int idx);
DockableTabBar* tabBar() const { return m_bar; }
QString tabText(int idx);
bool tabModifiedIndicator(int idx);
int indexOf(QWidget* widget);
void setCurrentIndex(int idx);
void setTabText(int idx, const QString& title);
void setTabModifiedIndicator(int idx, bool indicator);
void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner);
virtual QSize sizeHint() const override;
Q_SIGNALS:
void tabCloseRequested(int idx);
void currentChanged(int idx);
void tabMoved(int oldIdx, int newIdx);
void newWindowForTab(int idx, QRect rectHint);
void tabRemovedForReparent(int oldIdx, QWidget* widget, DockableTabWidget* target, int newIdx);
void tabAddedForReparent(int idx, DockableTabWidget* source);
private Q_SLOTS:
void tabBarCurrentChanged(int idx);
void tabBarCloseRequested(int idx);
void tabBarTabMoved(int oldIdx, int newIdx);
void tabBarNewWindowForTab(int idx, QRect rectHint);
void reparentTab(int oldIdx, DockableTabWidget* target, int newIdx);
};
|
