Hi Marcus,
Excerpts from Marcus Moeller's message of 2012-03-10 23:06:49 +0100:
it would be great to have a little space between a shortened windowAre you using the latest git version of the "next" branch? We have borders
title and the title of the next window, especially in tabbed mode. At
the moment it looks a bit squeezed.