]> Nishi Git Mirror - gwion.git/commitdiff
:art: Use playground
authorJérémie Astor <fennecdjay@gmail.com>
Sat, 3 Apr 2021 13:23:44 +0000 (15:23 +0200)
committerJérémie Astor <fennecdjay@gmail.com>
Sat, 3 Apr 2021 13:23:44 +0000 (15:23 +0200)
theme/highlight.js

index 382a838f3fc2cdcc508894856ec977db862851f3..4859699f3ee146c81626f63d4b0773c9cf5e68ee 100644 (file)
@@ -12077,7 +12077,7 @@ hljs.registerLanguage('gwion', function () {
 
     var FUNCTION = {
        className: 'function',
-       beginKeywords: 'fun function operator',
+       beginKeywords: 'fun operator',
        end: /{/,
        excludeEnd: true,
        contains: [