diff options
| author | nyamatongwe <unknown> | 2007-07-26 08:04:03 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2007-07-26 08:04:03 +0000 |
| commit | b276c3978e151e0738536932273a0c3fae00a64f (patch) | |
| tree | 45eef4bb6dfafb520f5996624dde9bfc3f15d6e2 /include/Platform.h | |
| parent | 0746ffe96fa9eb97bf43c529b8118f7407d4bc0f (diff) | |
| download | scintilla-mirror-b276c3978e151e0738536932273a0c3fae00a64f.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); + } }; /** |