Fix numbering of preview tabs

Cf. issue #902

assigned to @bavay

mentioned in issue #902

Removing the option to unset a SyntaxHighlighter as this is not really working (see issue #902). The core issue is still there, we both think this is a Qt bug (but that might be hard to trigger in a simple setup).

approved this merge request

merged

mentioned in commit c598c3c7