Dockery/Trilium
1
0
Fork 0
mirror of https://github.com/zadam/trilium.git synced 2025-11-15 09:45:52 +01:00
Code Issues Packages Projects Releases Activity

ckeditor 5.60.0

Browse Source
This commit is contained in:
zadam
2021-04-06 22:16:34 +02:00
parent c43b20ec2b
commit f739dbfe87
60 changed files with 537 additions and 1592 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
libraries/codemirror/mode/ebnf/ebnf.js vendored
View File

@@ -41,10 +41,10 @@
state.stringType = stream.peek();
stream.next(); // Skip quote
state.stack.unshift(stateType._string);
} else if (stream.match(/^\/\*/)) { //comments starting with /*
} else if (stream.match('/*')) { //comments starting with /*
state.stack.unshift(stateType.comment);
state.commentType = commentType.slash;
} else if (stream.match(/^\(\*/)) { //comments starting with (*
} else if (stream.match('(*')) { //comments starting with (*
state.stack.unshift(stateType.comment);
state.commentType = commentType.parenthesis;
}
@@ -69,10 +69,10 @@
case stateType.comment:
while (state.stack[0] === stateType.comment && !stream.eol()) {
if (state.commentType === commentType.slash && stream.match(/\*\//)) {
if (state.commentType === commentType.slash && stream.match('*/')) {
state.stack.shift(); // Clear flag
state.commentType = null;
} else if (state.commentType === commentType.parenthesis && stream.match(/\*\)/)) {
} else if (state.commentType === commentType.parenthesis && stream.match('*)')) {
state.stack.shift(); // Clear flag
state.commentType = null;
} else {
@@ -83,7 +83,7 @@
case stateType.characterClass:
while (state.stack[0] === stateType.characterClass && !stream.eol()) {
if (!(stream.match(/^[^\]\\]+/) || stream.match(/^\\./))) {
if (!(stream.match(/^[^\]\\]+/) || stream.match('.'))) {
state.stack.shift();
}
}
@@ -168,10 +168,10 @@
}
}
if (stream.match(/^\/\//)) {
if (stream.match('//')) {
stream.skipToEnd();
return "comment";
} else if (stream.match(/return/)) {
} else if (stream.match('return')) {
return "operator";
} else if (stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/)) {
if (stream.match(/(?=[\(.])/)) {