Skip to content

Test dark highlighting mode, too

Christoph Cullmann requested to merge work/dark_highlighting into master

This enables testing of the dark highlighting default theme.

Beside this, it uses the editor background color as default background color for the HTML highlighting output, not sure how this got used before with a dark theme.

Merge request reports