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
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);
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