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/window.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/window.h')
| -rw-r--r-- | src/gui/widgets/window.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/widgets/window.h b/src/gui/widgets/window.h index ae1e922c9..07ff9bf94 100644 --- a/src/gui/widgets/window.h +++ b/src/gui/widgets/window.h @@ -688,7 +688,7 @@ class Window notfinal : public BasicContainer2, * where two borders are moved at the same time. */ static const unsigned resizeBorderWidth = 10; - ImageCollection *mVertexes; + ImageCollection *mVertexes A_NONNULLPOINTER; int mCaptionOffsetX; int mCaptionOffsetY; Graphics::Alignment mCaptionAlign; @@ -699,7 +699,7 @@ class Window notfinal : public BasicContainer2, int mClosePadding; int mStickySpacing; int mStickyPadding; - Font *mCaptionFont; + Font *mCaptionFont A_NONNULLPOINTER; Modal mModal; /**< Window is modal */ bool mShowTitle; /**< Window has a title bar */ bool mCloseWindowButton; /**< Window has a close button */ |