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

From: Christoph Lohmann <20h_AT_r-36.net>
Date: Tue, 12 Feb 2013 21:12:03 +0100

Greetings.

On Tue, 12 Feb 2013 21:12:03 +0100 Jens Nyberg <jens.nyberg_AT_gmail.com> 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.


Sincerely,

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