mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2024-11-14 18:24:14 +01:00
252 lines
6.8 KiB
JavaScript
252 lines
6.8 KiB
JavaScript
|
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
||
|
// Distributed under an MIT license: http://codemirror.net/LICENSE
|
||
|
|
||
|
/*
|
||
|
* Author: Constantin Jucovschi (c.jucovschi@jacobs-university.de)
|
||
|
* Licence: MIT
|
||
|
*/
|
||
|
|
||
|
(function(mod) {
|
||
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
||
|
mod(require("../../lib/codemirror"));
|
||
|
else if (typeof define == "function" && define.amd) // AMD
|
||
|
define(["../../lib/codemirror"], mod);
|
||
|
else // Plain browser env
|
||
|
mod(CodeMirror);
|
||
|
})(function(CodeMirror) {
|
||
|
"use strict";
|
||
|
|
||
|
CodeMirror.defineMode("stex", function() {
|
||
|
"use strict";
|
||
|
|
||
|
function pushCommand(state, command) {
|
||
|
state.cmdState.push(command);
|
||
|
}
|
||
|
|
||
|
function peekCommand(state) {
|
||
|
if (state.cmdState.length > 0) {
|
||
|
return state.cmdState[state.cmdState.length - 1];
|
||
|
} else {
|
||
|
return null;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function popCommand(state) {
|
||
|
var plug = state.cmdState.pop();
|
||
|
if (plug) {
|
||
|
plug.closeBracket();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
// returns the non-default plugin closest to the end of the list
|
||
|
function getMostPowerful(state) {
|
||
|
var context = state.cmdState;
|
||
|
for (var i = context.length - 1; i >= 0; i--) {
|
||
|
var plug = context[i];
|
||
|
if (plug.name == "DEFAULT") {
|
||
|
continue;
|
||
|
}
|
||
|
return plug;
|
||
|
}
|
||
|
return { styleIdentifier: function() { return null; } };
|
||
|
}
|
||
|
|
||
|
function addPluginPattern(pluginName, cmdStyle, styles) {
|
||
|
return function () {
|
||
|
this.name = pluginName;
|
||
|
this.bracketNo = 0;
|
||
|
this.style = cmdStyle;
|
||
|
this.styles = styles;
|
||
|
this.argument = null; // \begin and \end have arguments that follow. These are stored in the plugin
|
||
|
|
||
|
this.styleIdentifier = function() {
|
||
|
return this.styles[this.bracketNo - 1] || null;
|
||
|
};
|
||
|
this.openBracket = function() {
|
||
|
this.bracketNo++;
|
||
|
return "bracket";
|
||
|
};
|
||
|
this.closeBracket = function() {};
|
||
|
};
|
||
|
}
|
||
|
|
||
|
var plugins = {};
|
||
|
|
||
|
plugins["importmodule"] = addPluginPattern("importmodule", "tag", ["string", "builtin"]);
|
||
|
plugins["documentclass"] = addPluginPattern("documentclass", "tag", ["", "atom"]);
|
||
|
plugins["usepackage"] = addPluginPattern("usepackage", "tag", ["atom"]);
|
||
|
plugins["begin"] = addPluginPattern("begin", "tag", ["atom"]);
|
||
|
plugins["end"] = addPluginPattern("end", "tag", ["atom"]);
|
||
|
|
||
|
plugins["DEFAULT"] = function () {
|
||
|
this.name = "DEFAULT";
|
||
|
this.style = "tag";
|
||
|
|
||
|
this.styleIdentifier = this.openBracket = this.closeBracket = function() {};
|
||
|
};
|
||
|
|
||
|
function setState(state, f) {
|
||
|
state.f = f;
|
||
|
}
|
||
|
|
||
|
// called when in a normal (no environment) context
|
||
|
function normal(source, state) {
|
||
|
var plug;
|
||
|
// Do we look like '\command' ? If so, attempt to apply the plugin 'command'
|
||
|
if (source.match(/^\\[a-zA-Z@]+/)) {
|
||
|
var cmdName = source.current().slice(1);
|
||
|
plug = plugins[cmdName] || plugins["DEFAULT"];
|
||
|
plug = new plug();
|
||
|
pushCommand(state, plug);
|
||
|
setState(state, beginParams);
|
||
|
return plug.style;
|
||
|
}
|
||
|
|
||
|
// escape characters
|
||
|
if (source.match(/^\\[$&%#{}_]/)) {
|
||
|
return "tag";
|
||
|
}
|
||
|
|
||
|
// white space control characters
|
||
|
if (source.match(/^\\[,;!\/\\]/)) {
|
||
|
return "tag";
|
||
|
}
|
||
|
|
||
|
// find if we're starting various math modes
|
||
|
if (source.match("\\[")) {
|
||
|
setState(state, function(source, state){ return inMathMode(source, state, "\\]"); });
|
||
|
return "keyword";
|
||
|
}
|
||
|
if (source.match("$$")) {
|
||
|
setState(state, function(source, state){ return inMathMode(source, state, "$$"); });
|
||
|
return "keyword";
|
||
|
}
|
||
|
if (source.match("$")) {
|
||
|
setState(state, function(source, state){ return inMathMode(source, state, "$"); });
|
||
|
return "keyword";
|
||
|
}
|
||
|
|
||
|
var ch = source.next();
|
||
|
if (ch == "%") {
|
||
|
source.skipToEnd();
|
||
|
return "comment";
|
||
|
} else if (ch == '}' || ch == ']') {
|
||
|
plug = peekCommand(state);
|
||
|
if (plug) {
|
||
|
plug.closeBracket(ch);
|
||
|
setState(state, beginParams);
|
||
|
} else {
|
||
|
return "error";
|
||
|
}
|
||
|
return "bracket";
|
||
|
} else if (ch == '{' || ch == '[') {
|
||
|
plug = plugins["DEFAULT"];
|
||
|
plug = new plug();
|
||
|
pushCommand(state, plug);
|
||
|
return "bracket";
|
||
|
} else if (/\d/.test(ch)) {
|
||
|
source.eatWhile(/[\w.%]/);
|
||
|
return "atom";
|
||
|
} else {
|
||
|
source.eatWhile(/[\w\-_]/);
|
||
|
plug = getMostPowerful(state);
|
||
|
if (plug.name == 'begin') {
|
||
|
plug.argument = source.current();
|
||
|
}
|
||
|
return plug.styleIdentifier();
|
||
|
}
|
||
|
}
|
||
|
|
||
|
function inMathMode(source, state, endModeSeq) {
|
||
|
if (source.eatSpace()) {
|
||
|
return null;
|
||
|
}
|
||
|
if (source.match(endModeSeq)) {
|
||
|
setState(state, normal);
|
||
|
return "keyword";
|
||
|
}
|
||
|
if (source.match(/^\\[a-zA-Z@]+/)) {
|
||
|
return "tag";
|
||
|
}
|
||
|
if (source.match(/^[a-zA-Z]+/)) {
|
||
|
return "variable-2";
|
||
|
}
|
||
|
// escape characters
|
||
|
if (source.match(/^\\[$&%#{}_]/)) {
|
||
|
return "tag";
|
||
|
}
|
||
|
// white space control characters
|
||
|
if (source.match(/^\\[,;!\/]/)) {
|
||
|
return "tag";
|
||
|
}
|
||
|
// special math-mode characters
|
||
|
if (source.match(/^[\^_&]/)) {
|
||
|
return "tag";
|
||
|
}
|
||
|
// non-special characters
|
||
|
if (source.match(/^[+\-<>|=,\/@!*:;'"`~#?]/)) {
|
||
|
return null;
|
||
|
}
|
||
|
if (source.match(/^(\d+\.\d*|\d*\.\d+|\d+)/)) {
|
||
|
return "number";
|
||
|
}
|
||
|
var ch = source.next();
|
||
|
if (ch == "{" || ch == "}" || ch == "[" || ch == "]" || ch == "(" || ch == ")") {
|
||
|
return "bracket";
|
||
|
}
|
||
|
|
||
|
if (ch == "%") {
|
||
|
source.skipToEnd();
|
||
|
return "comment";
|
||
|
}
|
||
|
return "error";
|
||
|
}
|
||
|
|
||
|
function beginParams(source, state) {
|
||
|
var ch = source.peek(), lastPlug;
|
||
|
if (ch == '{' || ch == '[') {
|
||
|
lastPlug = peekCommand(state);
|
||
|
lastPlug.openBracket(ch);
|
||
|
source.eat(ch);
|
||
|
setState(state, normal);
|
||
|
return "bracket";
|
||
|
}
|
||
|
if (/[ \t\r]/.test(ch)) {
|
||
|
source.eat(ch);
|
||
|
return null;
|
||
|
}
|
||
|
setState(state, normal);
|
||
|
popCommand(state);
|
||
|
|
||
|
return normal(source, state);
|
||
|
}
|
||
|
|
||
|
return {
|
||
|
startState: function() {
|
||
|
return {
|
||
|
cmdState: [],
|
||
|
f: normal
|
||
|
};
|
||
|
},
|
||
|
copyState: function(s) {
|
||
|
return {
|
||
|
cmdState: s.cmdState.slice(),
|
||
|
f: s.f
|
||
|
};
|
||
|
},
|
||
|
token: function(stream, state) {
|
||
|
return state.f(stream, state);
|
||
|
},
|
||
|
blankLine: function(state) {
|
||
|
state.f = normal;
|
||
|
state.cmdState.length = 0;
|
||
|
},
|
||
|
lineComment: "%"
|
||
|
};
|
||
|
});
|
||
|
|
||
|
CodeMirror.defineMIME("text/x-stex", "stex");
|
||
|
CodeMirror.defineMIME("text/x-latex", "stex");
|
||
|
|
||
|
});
|