Skip to content
Commit 1b245783 authored by Christoph Cullmann's avatar Christoph Cullmann 🍨
Browse files

allow highlighting mode => language id mapping to be configured in the JSON config 

this allows to add new servers without needing to adapt the highlighting
to mode mapping manually in the plugin sources
parent d6e261d5
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment