Re: [Epiphany] Cannot set some prefs.js settings
- From: Martin Stubenschrott <stubenschrott gmx net>
- To: Marco Pesenti Gritti <mpeseng tin it>
- Cc: Martin Stubenschrott <stubenschrott gmx net>, epiphany mozdev org
- Subject: Re: [Epiphany] Cannot set some prefs.js settings
- Date: Sun, 3 Aug 2003 02:22:27 +0200
> 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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]