Patch from John Ehresman that tracks the number of layouts

in use and adds assertions that this is always only 0 or 1.
It also sets the length of the cache array if the array shrinks
or grows without being reallocated.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/Editor.h b/src/Editor.h
index 1207425dd..5370f5b2e 100644
--- a/src/Editor.h
+++ b/src/Editor.h
@@ -105,6 +105,7 @@ class LineLayoutCache {
 	LineLayout **cache;
 	bool allInvalidated;
 	int styleClock;
+	int useCount;
 	void Allocate(int length_);
 	void AllocateForLevel(int linesOnScreen, int linesInDoc);
 public: