globalLine (reference) in projects: plugin

Searched refs:globalLine (Results 1 – 4 of 4) sorted by relevance

/plugin/mizarverifiabledocs/src/
D	script.js	`340 function getEditorForGlobalLine(globalLine) { argument 345 if (globalLine >= currentLine && globalLine < currentLine + editorLines) { 346 return { editor, localLine: globalLine - currentLine + 1 };`
/plugin/mizarveifiabledocs/dist/
D	script.js.map	`1 …globalLine) {\n let currentLine = 1;\n for (let mizarId of $1df32a4945e9e156$var$editorOrder…`
/plugin/mizarproofchecker/dist/
D	script.js.map	`1 …globalLine) {\n let currentLine = 1;\n for (let mizarId of $1df32a4945e9e156$var$editorOrder…`
/plugin/mizarverifiabledocs/dist/
D	script.js.map	`1 …globalLine) {\n let currentLine = 1;\n for (let mizarId of $1df32a4945e9e156$var$editorOrder…`