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
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