diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-05-10 17:54:00 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-05-10 17:54:00 +0300 |
| commit | 717bd9c929c96d4746685b9d4bdf29fa71d937b1 (patch) | |
| tree | 8591b08fa47d83b0c218642e01a6274181b73e97 /src/gui/widgets/window.h | |
| parent | ad46c2e661ec79ff01de0f80955a8446b8c883c7 (diff) | |
| download | mv-717bd9c929c96d4746685b9d4bdf29fa71d937b1.tar.gz mv-717bd9c929c96d4746685b9d4bdf29fa71d937b1.tar.bz2 mv-717bd9c929c96d4746685b9d4bdf29fa71d937b1.tar.xz mv-717bd9c929c96d4746685b9d4bdf29fa71d937b1.zip | |
Improve window resize speed.
Diffstat (limited to 'src/gui/widgets/window.h')
| -rw-r--r-- | src/gui/widgets/window.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/widgets/window.h b/src/gui/widgets/window.h index 2b2bdb261..386b7e16b 100644 --- a/src/gui/widgets/window.h +++ b/src/gui/widgets/window.h @@ -692,6 +692,9 @@ class Window notfinal : public BasicContainer2, int mGripPadding; int mResizeHandles; int mOldResizeHandles; + int mClosePadding; + int mStickySpacing; + int mStickyPadding; Font *mCaptionFont; Modal mModal; /**< Window is modal */ bool mShowTitle; /**< Window has a title bar */ |