Re: [Epiphany] Cannot set some prefs.js settings

[Martin Stubenschrott <stubenschrott gmx net>]

> Yeah for mozilla settings for what we have hardcoded values there is
> no way to allow
> users to set them.

First of all thanks for the quick reply :)

I am not really a good programmer, but couldn't it be (easily) be 
possible to use a user.js file or something which overrides all 
settings?

Or otherwise I think it should be possible to use something like
"./configure --disable_default_prefs" or something like this to comment 
out the mozilla_set_default_prefs() function, because it is stupid if 
you need to change this file for every new version I compile.

Of course a GConf settings would also be great since not everybody 
likes google, and so there would be freedom of choice again :)

However, great browser,

Martin