diff options
| author | Jorge Arellano Cid <jcid@dillo.org> | 2016-07-16 22:48:01 -0400 |
|---|---|---|
| committer | Jorge Arellano Cid <jcid@dillo.org> | 2016-07-16 22:48:01 -0400 |
| commit | 03b8b886add1abf802ae66fa60e367108b7a30f3 (patch) | |
| tree | e897fb899548e4415d722fdd935310ac61fa192d /dw/ooffloatsmgr.hh | |
| parent | bf740c18a68e61a1a88ac1c78862e6e50d5186a3 (diff) | |
Change OOFFloatsMgr::markSizeChange()
We change to a graph coverage model, with pruning.
Diffstat (limited to 'dw/ooffloatsmgr.hh')
| -rw-r--r-- | dw/ooffloatsmgr.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dw/ooffloatsmgr.hh b/dw/ooffloatsmgr.hh index fdc59fb4..d514d28b 100644 --- a/dw/ooffloatsmgr.hh +++ b/dw/ooffloatsmgr.hh @@ -165,7 +165,7 @@ private: TBInfo> *tbInfosByOOFAwareWidget; int lastLeftTBIndex, lastRightTBIndex, leftFloatsMark, rightFloatsMark; - int floatRef; + bool SizeChanged; void moveExternalIndices (lout::container::typed::Vector<Float> *list, int oldStartIndex, int diff); |