Ian Pilcher wrote:
>Slightly lower priority, but something I think would be useful is an
>"Advanced Settings" page in the preferences dialog. This would be
>similar to the "Advanced" tab of Internet Explorer's "Internet Options"
>dialog or the "Device Settings" tab of the Windows PostScript printer
>driver. This is to provide a simple interface to allow GUI-dependent
>users to modify their user.js/prefs.js without editting them directly
>(even if some settings are just text entry fields).
>
Bug 17199.
