diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-08-09 00:25:50 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-08-09 00:25:50 +0300 |
| commit | e0d14cf8d3c809a0a5291823d3a962a4835a8f6e (patch) | |
| tree | 0b0720d0988e2468abc75cf68b654673f7f60a92 /src/gui/widgets/tabbedarea.h | |
| parent | 12d4d6b33e036f17a0c59fa5a0c7af2c5d0461bc (diff) | |
| download | mv-e0d14cf8d3c809a0a5291823d3a962a4835a8f6e.tar.gz mv-e0d14cf8d3c809a0a5291823d3a962a4835a8f6e.tar.bz2 mv-e0d14cf8d3c809a0a5291823d3a962a4835a8f6e.tar.xz mv-e0d14cf8d3c809a0a5291823d3a962a4835a8f6e.zip | |
Add some missing checks to gui found by paranucker.
Diffstat (limited to 'src/gui/widgets/tabbedarea.h')
| -rw-r--r-- | src/gui/widgets/tabbedarea.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/gui/widgets/tabbedarea.h b/src/gui/widgets/tabbedarea.h index 40ac05753..69d64547b 100644 --- a/src/gui/widgets/tabbedarea.h +++ b/src/gui/widgets/tabbedarea.h @@ -241,7 +241,7 @@ class TabbedArea final : public ActionListener, typedef std::vector <std::pair<Tab*, Widget*> > TabContainer; /** The tab arrows */ - Button *mArrowButton[2]; + Button *mArrowButton[2] A_NONNULLPOINTER; /** Check whether the arrow should be clickable */ void updateArrowEnableState(); @@ -253,8 +253,8 @@ class TabbedArea final : public ActionListener, void updateTabsWidth(); Tab* mSelectedTab; - BasicContainer2* mTabContainer; - BasicContainer2* mWidgetContainer; + BasicContainer2* mTabContainer A_NONNULLPOINTER; + BasicContainer2* mWidgetContainer A_NONNULLPOINTER; std::vector<Tab*> mTabsToDelete; TabContainer mTabs; |