Adolfo Ochagavía 9ccc568601 Dynamically apply highlightingOn config ...

Fixes #84

2018-10-06 22:53:12 +02:00

..

extension.ts

Dynamically apply highlightingOn config

2018-10-06 22:53:12 +02:00