diff --git a/index.html b/index.html index 913aa769..5fab7653 100644 --- a/index.html +++ b/index.html @@ -7,8 +7,8 @@ - - + +
diff --git a/sample-extensions/syntax-in-comments.js b/sample-extensions/syntax-in-comments.js index c57053f1..267b10ac 100644 --- a/sample-extensions/syntax-in-comments.js +++ b/sample-extensions/syntax-in-comments.js @@ -1,6 +1,10 @@ -// To use this extension: -// export RIDE_JS=/path/to/file.js -// before running RIDE. +//To use this extension: +// export RIDE_JS=/path/to/file.js +//before starting RIDE. +//Go to Preferences>Colours, select Token Type: ACME Number and style it. +//Open an editor and type +// ⍝1: abc 123 +//"123" should appear different. CodeMirror.defineMIME('text/apl-comments','acme') CodeMirror.defineMode('acme',function(){ // https://codemirror.net/doc/manual.html#modeapi return{ diff --git a/src/prf_col.js b/src/prf_col.js index 68a40d3c..68e2184a 100644 --- a/src/prf_col.js +++ b/src/prf_col.js @@ -1,8 +1,10 @@ //Preferences > Colours +//Here we generate CSS based on the user's preferences and put it in