Ticket #8618: TabWidget-patch.cpp

File TabWidget-patch.cpp, 675 bytes (added by SF/youngelf, 16 years ago)

Patch for gui/TabWidget.cpp against the recent svn release

Line 
1*** gui/TabWidget.cpp~ Fri Mar 16 08:09:13 2007
2--- gui/TabWidget.cpp Fri Mar 16 10:07:33 2007
3***************
4*** 69,88 ****
5--- 69,89 ----
6 _navRight = new ButtonWidget(this, x + _butW + 2, y, _butW, _butH, ">", kCmdRight, 0);
7 _navRight->setHints(THEME_HINT_NO_BACKGROUND_RESTORE);
8 }
9
10 TabWidget::~TabWidget() {
11 for (uint i = 0; i < _tabs.size(); ++i) {
12 delete _tabs[i].firstWidget;
13 _tabs[i].firstWidget = 0;
14 }
15 _tabs.clear();
16+ delete _navRight;
17 }
18
19 int16 TabWidget::getChildY() const {
20 return getAbsY() + _tabHeight;
21 }
22
23 int TabWidget::addTab(const String &title) {
24 // Add a new tab page
25 Tab newTab;
26 newTab.title = title;