Re: [dev] wmii / tip bug - gnome-terminal loses focus + "no updates" when fullscreen

2011-03-10 Thread Suraj Kurapati
On Wed, Mar 9, 2011 at 10:36 AM, Armando Di Cianno wrote: > When I use wmii-tip and I engage fullscreen, gnome-terminal takes up > the full screen, but simultaneously seems to cease updating and/or > lose focus. Do you observe any difference when you engage fullscreen using the conventional Gnome

[dev] [surf] superfluos webkit_get_default_session() call

2011-03-10 Thread Benjamin Nadland
s = webkit_get_default_session() is unnecessary here (in setup()). It is called again later, right before it is used. diff -r 7a931a352cf9 surf.c --- a/surf.cThu Sep 09 11:15:02 2010 +0200 +++ b/surf.cThu Mar 10 15:55:47 2011 +0100 @@ -681,7 +681,6 @@ g_thread_init(NULL);

Re: [dev] [surf] disk cache location and size

2011-03-10 Thread Andrew Oakley
On 07/03/11 05:49, Brandon Ros wrote: > how does surf (or WebKit, seeing how surf is a thin layer of glue on > top of WebKit) handle caching? where are the files stored? how can I > change this location to say a directory mounted as a tmpfs/ramfs? Browsers normally have a RAM cache as well as a di