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
7ca0173c
Please register or sign in to comment