diff options
| author | nyamatongwe <devnull@localhost> | 2007-07-26 08:04:03 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2007-07-26 08:04:03 +0000 |
| commit | 8e7a29f2fd09477eb41e2d5bd33d11ef04740c32 (patch) | |
| tree | 45eef4bb6dfafb520f5996624dde9bfc3f15d6e2 /include/Platform.h | |
| parent | d9bfb39e4ed8fa194b0d9f1f675cf24fb09bb958 (diff) | |
| download | scintilla-mirror-8e7a29f2fd09477eb41e2d5bd33d11ef04740c32.tar.gz | |
Optimised previous change to avoid extra redraws when modification does not
affect visible area.
Diffstat (limited to 'include/Platform.h')
| -rw-r--r-- | include/Platform.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/Platform.h b/include/Platform.h index 6e6540007..79be33f6b 100644 --- a/include/Platform.h +++ b/include/Platform.h @@ -122,6 +122,9 @@ public: } int Width() { return right - left; } int Height() { return bottom - top; } + bool Empty() { + return (Height() <= 0) || (Width() <= 0); + } }; /** |