Richard Heck wrote:
>
> So this is kind of an old one, but a good one; meant to do it before the
> list crashes and then didn't have time. But the recent report about a
> missing TOC update following changes to note types reminded me why we need
> this. So here it is for any comment. I'll commit
So this is kind of an old one, but a good one; meant to do it before the
list crashes and then didn't have time. But the recent report about a
missing TOC update following changes to note types reminded me why we
need this. So here it is for any comment. I'll commit shortly if there
is no obj
So, here it is. This takes us down to three calls to updateBuffer():
1. The "main" call, and ideally the only one we would need, is in
GuiApplication::dispatch(), after the dispatch cycle has completed.
2. A call in Buffer::reload(), before the call to Buffer::changed().
Without this, we can
