diff options
| author | Peter Penz <[email protected]> | 2012-05-17 11:14:04 +0200 |
|---|---|---|
| committer | Peter Penz <[email protected]> | 2012-05-17 11:16:19 +0200 |
| commit | ff6e4341c5ce58b44af32db27ee3cec7057c8ce7 (patch) | |
| tree | b7e1b2c4b838c67650518407cdc9bdb98a19d371 /src/settings | |
| parent | 855560dd32e8f275a7a3e6eb4cc7c2e1d262a47b (diff) | |
Fix crash related to group-headers
If multiple ranges are inserted or removed, the updating of
the group-headers may only be done after _all_ ranges have been
inserted/removed and not after each individual range. Otherwise
the layouter-cache is not in a consistent state yet.
Diffstat (limited to 'src/settings')
0 files changed, 0 insertions, 0 deletions