Bureaucrats, editor, reviewer, Administrators
13,550
edits
Changes
Jump to navigation
Jump to search
no edit summary
The following options are available and can be requested and changed with the [[Commands#GET|GET]] and [[Commands#SET|SET]] commands.
They can either be turned ON/OFF, or a value can be assigned. If options are changed in the [[GUI_Tutorial|GUI]] of BaseX, they will be listed in the [[GUI_Views|Info View]].
===General options===
