{#syntaxhl_dlg.highlight_options}
{#syntaxhl_dlg.nogutter}
{#syntaxhl_dlg.light}
{#syntaxhl_dlg.collapse}
{#syntaxhl_dlg.highlight}
{#syntaxhl_dlg.choose_lang}:
{#syntaxhl_dlg.first_line}:
{#syntaxhl_dlg.fontsize}
%
{#syntaxhl_dlg.paste}