Re: [dev] [surf] Remove the indicator?

From: Christoph Lohmann <>
Date: Tue, 12 Feb 2013 21:12:03 +0100


On Tue, 12 Feb 2013 21:12:03 +0100 Jens Nyberg <> wrote:
> I've created a patch that implements what we have talked about.
> I'm still very unsure about what characters we should use and how the
> window title text should be formatted so if anyone has a better idea
> please let me know or just make the changes before pushing it.

That patch looks good. It’s been applied. Thanks for the contribution.

This morning I went to work and in the evening someone posted the patch
for the discussed idea already. Thank you very much.


Christoph Lohmann
Received on Tue Feb 12 2013 - 21:12:03 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 21 2013 - 19:20:03 CET