Re: [dev] [surf] Webkit inspector

From: Gregor Best <gbe_AT_ring0.de>
Date: Sat, 26 Jan 2013 20:48:13 +0100

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.

-- 
    Gregor Best
Received on Sat Jan 26 2013 - 20:48:13 CET

This archive was generated by hypermail 2.3.0 : Sat Jan 26 2013 - 21:00:05 CET