>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: Confirmed. You want a patch?
>> Yes, please.
Juergen> How about the attached? (I'm not sure if the update is also
Juergen> needed after the branches stuff, so I added it to be on the
Juergen> safe side).
Concerning:
- if (branchlist.empty())
+ if (branchlist.empty()) {
+ kernel().bufferview()->update();
return;
I'd rather have
+ if (!branchlist.empty()) {
+ // the branch stuff
+ }
+
+ kernel().bufferview()->update();
JMarc
