Hi all ! My few last patches bring a few improvements to the *tla-bookmarks* buffer.
First, you don't have to call tla-revision-compute-merged-by by hand, it's called automatically when all asynchronous process terminate. There are two features to highlight unmerged patches: * You can use `N' and `P' to navigate between them * They use a special face 'tla-unmerged It's still probably buggy, but it's here, I've experimented a bit with it, and I already love this feature. -- Matthieu