From 735ed37778f504a184c0b27c7af21dcfac1713a7 Mon Sep 17 00:00:00 2001 From: Grzegorz Mazur Date: Sat, 10 Jun 2017 11:47:53 +0200 Subject: [PATCH] [yacas mode] Tokenize '#' as an operator (see grzegorzmazur/yacas#231) --- mode/yacas/yacas.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mode/yacas/yacas.js b/mode/yacas/yacas.js index 30bd60b2ff..34c84fbd08 100644 --- a/mode/yacas/yacas.js +++ b/mode/yacas/yacas.js @@ -125,7 +125,7 @@ CodeMirror.defineMode('yacas', function(_config, _parserConfig) { } // operators; note that operators like @@ or /; are matched separately for each symbol. - if (stream.match(/(?:\\|\+|\-|\*|\/|,|;|\.|:|@|~|=|>|<|&|\||_|`|'|\^|\?|!|%)/, true, false)) { + if (stream.match(/(?:\\|\+|\-|\*|\/|,|;|\.|:|@|~|=|>|<|&|\||_|`|'|\^|\?|!|%|#)/, true, false)) { return 'operator'; }