Re: [dev] [surf] Webkit inspector

From: Christoph Lohmann <20h_AT_r-36.net>
Date: Sat, 26 Jan 2013 21:03:30 +0100

Greetings.

On Sat, 26 Jan 2013 21:03:30 +0100 Gregor Best <gbe_AT_ring0.de> wrote:
> On Sat, Jan 26, 2013 at 04:07:08PM +0100, Christoph Lohmann wrote:
> > [...]
> > I applied your patch. It seems to work, but not inside of tabbed. Could
> > you reconsider to maybe force the inspector into some vertical tiling in
> > surf? That’s how chromium does it and this would not need some communi‐
> > cation between two X11 windows.
> > [...]
>
> The attached patch does that. It also changes the inspector function to
> toggle between displaying and hiding the inspector.

Thanks. The patch is applied.


Sincerely,

Christoph Lohmann
Received on Sat Jan 26 2013 - 21:03:30 CET