README.md

changeset 11
3633d38b64bd
parent 9
caaf16def702
child 13
15b8d7242ad9
child 15
a65b8c098aa6
--- a/README.md	Wed May 13 15:19:10 2020 -0500
+++ b/README.md	Wed May 13 15:40:47 2020 -0500
@@ -24,9 +24,10 @@
 
 ### Regarding `todonotes` and `footnote` support
 
-To enable syntax highlighting for `\todo` and `\footnote`, add the following
-(with possibly customised colours) to your user `settings.json`
-(Cmd+Shift+P, “Open Settings (JSON)”):
+Unfortunately, VSCode does not appear to let extensions contribute token colours
+for syntax highlighting. Therefore, to enable syntax highlighting for `\todo` and
+`\footnote`, add the following (with possibly customised colours) to your user
+`settings.json` (Cmd+Shift+P, “Open Settings (JSON)”):
 
 ```json
 "editor.tokenColorCustomizations": {

mercurial