5.20 The Option syn-out-filter (malaga)

Use the option syn-out-filter to switch the syntax output-filter on or off:

set syn-out-filter yes

Activate the filter.

set syn-out-filter no

Deactivate the filter.