>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> 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. Juergen> Confirmed. You want a patch? Yes, please. >> BTW, why is there this big ugly unconditional branch code in there? >> Do we need to reset all the branches stuff at each apply? Juergen> Don't know. This code seems to only manage the change of Juergen> color (and the opening/closing of activated/deactivated Juergen> branches). Let's keep it like that for now, then. JMarc
