DJMcNab 70e5fb98a0 Disable highlighting if disabled ... This isn't working properly because we don't dynamically disable or enable it TODO: work out why highlighting can be enabled mid session. TODO: Improve settings handling		2018-12-20 12:16:44 +00:00
..
src	Disable highlighting if disabled	2018-12-20 12:16:44 +00:00
tests/heavy_tests	fix syc	2018-12-20 12:15:38 +03:00
Cargo.toml	swtich lsp server to vfs	2018-12-20 12:15:38 +03:00