>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote:
>> I'd rather have
>>
>> + if (!branchlist.empty()) { + // the branch
>> stuff + }
>> +
>> + kernel().bufferview()->update();
Juergen> OK, fine with me. See attached.
You can commit it (provided you tested it, of course...).
JMarc
