|
|
On Wed, 28 Sep 2005 17:04:24 +0200, Marek Mänd wrote:
On Wed, 28 Sep 2005 17:26:43 +0300, Eik <spam@xxxxxxxxxxx> wrote:
We've already lost quite a few so maybe Opera could release a small
preferences editor tool that has *all* the options for opera6.ini and
other setup files, and then leave out all non-essential settings in the
main app?
Opera will never likely release such app to public because they arent in
need to do that.
And if they would release such app for example to support mass
installations with fine tweaks-tuning in corporate network environment,
such tool would definately be not available for free for home users.
..
Why should't there be something like FF's about:config /within/ Opera,
which IMO would suffice most wishes for more GUI to set hidden Prefs?
--
fuxs
|
|