diff options
| author | DJMcNab <[email protected]> | 2018-12-20 12:16:44 +0000 |
|---|---|---|
| committer | DJMcNab <[email protected]> | 2018-12-20 12:16:44 +0000 |
| commit | 70e5fb98a007c49e2f2a1d2f58c31008385c9754 (patch) | |
| tree | 5ad243f686f1278308ad4cb55f02fbfe2a96e794 /crates/ra_cli | |
| parent | 39861a4e15cf8cfed69f336c7178bb4b480fe3a3 (diff) | |
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
Diffstat (limited to 'crates/ra_cli')
0 files changed, 0 insertions, 0 deletions