diff options
author | nyamatongwe <unknown> | 2000-03-13 06:33:34 +0000 |
---|---|---|
committer | nyamatongwe <unknown> | 2000-03-13 06:33:34 +0000 |
commit | affaa0735a05a789d95baed82c903d9b571a2c00 (patch) | |
tree | 971c5b8e64f8a2130a678bffe82ff526915967e0 /include/Platform.h | |
parent | 99c218655d2fbc87781b9695b22d790c5e6251eb (diff) | |
download | scintilla-mirror-affaa0735a05a789d95baed82c903d9b571a2c00.tar.gz |
Fixed printing problems including putting line numbers in correct position
and flushing state when switching surfaces in case surfaces are encapsulating
a shared underlying graphics context.
Diffstat (limited to 'include/Platform.h')
-rw-r--r-- | include/Platform.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/Platform.h b/include/Platform.h index b077e2e34..021bcf686 100644 --- a/include/Platform.h +++ b/include/Platform.h @@ -292,6 +292,7 @@ public: int SetPalette(Palette *pal, bool inBackGround); void SetClip(PRectangle rc); + void FlushCachedState(); }; // Class to hide the details of window manipulation |