Hi Markus,

On 26 October 2016 at 22:42, Markus Teich <[email protected]> wrote:
> This patch simplifies the status bar text padding and fixes the comment with a
> wrong description.

Have you tested this with long tag names?

-Anselm

Reply via email to