Jean-Marc Lasgouttes wrote: > I do not think so. This one is probably a missing update in > ControlDocument::dispatchParams. The line > kernel().bufferview()->update(); > which is conditional, should probably be moved at the end of the code.
Confirmed. You want a patch? > BTW, why is there this big ugly unconditional branch code in there? Do > we need to reset all the branches stuff at each apply? Don't know. This code seems to only manage the change of color (and the opening/closing of activated/deactivated branches). Jürgen
