Vincent van Ravesteijn wrote:
Hi all,This patch solves bug 4346. It changes the autoOpen_ member of InsetCollapsable into a map, such that an autoOpen value can be specified for each bufferView. Now, the assertion is avoided and insetCollapsable can be open in one bufferview and be closed in the other in very special cases that the cursor end up in a closed inset.
This makes a lot of sense to me. Nice work. rh
