mirror of
https://github.com/rkd77/elinks.git
synced 2024-11-02 08:57:19 -04:00
bug 15, doc: Option manager doesn't support domain-specific
Mention in elinks.conf.5 that there's one reason to edit elinks.conf: the option manager doesn't yet support domain-specific options, so any set_domain statements have to be added with an editor.
This commit is contained in:
parent
15b0db5e53
commit
1208a8dd2a
@ -24,8 +24,9 @@ protocol behaviour, keybindings, colors used for rendering and for the user
|
|||||||
interface.
|
interface.
|
||||||
|
|
||||||
It is read at startup and saved only when requested. All options described in
|
It is read at startup and saved only when requested. All options described in
|
||||||
this document can be fully configured from within ELinks so no editing of
|
this document can be configured from within ELinks. Editing of elinks.conf is
|
||||||
elinks.conf is needed.
|
needed only if you want to override the values of some options in individual
|
||||||
|
domains (`set_domain`).
|
||||||
|
|
||||||
Note that MIME-related options used for specifying handlers of various MIME
|
Note that MIME-related options used for specifying handlers of various MIME
|
||||||
types are NOT described in this document. Documentation for these options can
|
types are NOT described in this document. Documentation for these options can
|
||||||
|
Loading…
Reference in New Issue
Block a user