latex.html

<script src="https://ace.c9.io/build/src/ace.js"></script>
<div id="container">
    <div id="sidePanel"></div>
    <div id='example'>

Example


\[{{\gamma }_{1}}=\frac{1}{2\pi }\arg ,\] (1.1)


Fig. 1. some text \[\int_L dL\]
Figure. 2 more text

paragraph \[\int_L dL\] 1 \[\int_L dL\] (1.2) 

paragraph 2 $eq$ (1.2) [1-2] and [2]

Fig. 3 description

see (Fig.1) for explanation

${{\gamma }_{1}}=\frac{1}{2\pi }\arg ,$ (1.2)


References

1. Galin L.A. Contact problems of the theory of elasticity and viscoelasticity.-M.: Nauka, 1980.- 304 p. (In Russian)

2. Shtaerman I.Ya. Contact problem of elasticity theory. - M.-L.: Gostekhteorizdat, 1947 - 270 p. (In Russian)
		
		
	
	</div>
</div>
<style>
    #container {
        display: flex;
        height: 100%;
        align-items: stretch;
    }

    #example {
        flex: 1;
    }

    #sidePanel {
        background: rebeccapurple;
        overflow: auto;
		color: white;
    }

	button {
		margin-top: 5px;
	}

</style>
<script>
var editor = ace.edit("example", {
    theme: "ace/theme/textmate",
    mode: "ace/mode/latex",
    wrap: true
});

ace.config.loadModule("ace/ext/searchbox", function (e) { 
	e.Search(editor);
	editor.searchBox.searchInput.value = "" 
});


if (localStorage.lastValue) {
	editor.setValue(localStorage.lastValue, -1);
	if (localStorage.lastSelection) {
		try {
			let sel = JSON.parse(localStorage.lastSelection)
			editor.selection.fromJSON(sel)
		} catch(e) {
			console.error(e)
		}
	}
	editor.session.setScrollTop(localStorage.scrollTop || 0)
}

function findNext(eqreg, excludeRe) {
    value = editor.getValue()

    if (excludeRe) {
        value = value.replace(excludeRe, function(_) {
            return " ".repeat(_.length)
        })
    }

    lastIndex = editor.session.doc.positionToIndex(editor.selection.getRange().end) 

    eqreg.lastIndex = lastIndex

    match = eqreg.exec(value)
    lastIndex = eqreg.lastIndex

    if (!match) match = {index: 0, 0: "", fake: true};

    start = editor.session.doc.indexToPosition(match.index) 
    end = editor.session.doc.indexToPosition(match.index + match[0].length) 
    editor.selection.setRange({start, end})

    editor.renderer.scrollCursorIntoView(null, 0.5)
    
    lastRe = eqreg

    return !match.fake;
}

function updateSearch(eqreg) {
    if (!eqreg) eqreg = lastRe
	if (searchValue != eqreg.source) {
		searchValue = eqreg.source
	}
	searchTimeout = searchTimeout || setTimeout(function() {
		searchTimeout = null;
		editor.searchBox.searchInput.value = eqreg.source
		editor.searchBox.regExpOption.checked = true;
		editor.searchBox.$syncOptions()
	})
}
var lastRe
var searchValue
var searchTimeout

var eqReg = / *(\\\[(?:[^\\]|\\[^\]])+\\\]|\$[^$]+\$)([\s,.;]*)(\(\d+(?:\.[\d.]*)?\w*\))/g 
var eqRegStrict = /^[ \t]*(\\\[(?:[^\\]|\\[^\]])+\\\]|\$[^$]+\$)([\s,.;]*)(\(\d+(?:\.[\d.]*)?\w*\))[ \t]*$/gm
var sectionReg = /^(\d+(?:\.[\d.]*)?)(.*)/gm

var numberReg =/(\(\d+(?:\.[\d.]*)?\w*\))/g 
var numberRegUnStrict = /(\(\s*\d+(?:\.[\d.]*)?\w*\)\s*)/g

var inlineEqReg=/ *(\\\[(?:[^\\]|\\[^\]])+\\\]|\$[^$]+\$)([ ;,.]*)/g 
var inlineEqStartReg=/^\s*(\$[^$]+\$)|\\\[(?:[^\\]|\\[^\]])+\\\](?= *\w)|(?<=\w +)\\\[(?:[^\\]|\\[^\]])+\\\]/gm 

var eqAndBibExclusionRe = /\\begin{(equation|tabular|figure)[\s\S]*?\\end{\1|\$[^$]+\$|\\begin{thebibliography}[\s\S]*/g

var displayEqReg=/^\s*(\$[^$]+\$)\s*$/gm

var sidePanel = document.getElementById("sidePanel")
if (!sidePanel) {
    sidePanel = document.createElement("div")
    sidePanel.id="sidePanel"
    document.body.appendChild(sidePanel)
    sidePanel.style.cssText="    position: absolute;    background: beige;"
}
sidePanel.innerHTML = ""
if (!window.dom) dom = ace.require("ace/lib/dom")

//editor = document.querySelector(".ace_editor").env.editor

function formatRefNumber(str) {
    return str.trim().replace(/\.+$/, "").replace(/\./g, "_").trim()
}

function replaceNumberedEquation() {
	var line = editor.getSelectedText()
	eqReg.lastIndex = 0
	var match = eqReg.exec(line)
	var number = "eq" + match[3].replace(/[()]/g, "") .replace(/[\.]/g, "_")
	var punct = match[2].trim()
	var eq = match[1].trim().replace(/^(\\\[|\$)/, "").replace(/(\\\]|\$)$/, "").trim()

	var replacement = `\\begin{equation} \\label{${number}}\n${eq + punct}\n\\end{equation}`
	editor.insert(replacement)
}
function convertToInline() {
	var line = editor.getSelectedText()
	inlineEqReg.lastIndex = 0
	var match = inlineEqReg.exec(line)
	var punct = match[2].trim()
	
	var eq = match[1].trim().replace(/^(\\\[|\$)/, "").replace(/(\\\]|\$)$/, "").trim()

	var replacement = ` $${eq}$` + punct + " "
	editor.insert(replacement)
}
function convertToDisplay() {
	var line = editor.getSelectedText()
	inlineEqReg.lastIndex = 0
	var match = inlineEqReg.exec(line)

	var punct = match[2].trim()
	
	var eq = match[1].trim().replace(/^(\\\[|\$)/, "").replace(/(\\\]|\$)$/, "").trim()

	var replacement = `\\begin{equation*}\n${eq + punct}\n\\end{equation*}` 
	editor.insert(replacement)
}

function bookCitation() {
	var line = editor.getSelectedText()
	var match = /\[([\d\,\-\s]*)\]/g.exec(line)
	var books = match[1].replace(/\s+/g, "").replace(/(\d+)-(\d+)/g, function(_, a, b) {
		a = parseInt(a)
		b = parseInt(b)
		if (a > b) throw a
		var r = [] 
		for (var  i = a; i <= b; i++) {
			r.push(i)
		}
		return r.join(",") 
	} ).replace(/\d+/g, x=>"book" + x)
	var replacement = "\\cite{" + books +"}"

	editor.insert(replacement)
}

dom.buildDom([
"div", {onclick: ()=> editor.focus()},	
["button", {onclick: function() {
       
       initialize()
    }}, "initialize"],   

    
    ["hr"], // bibliography
    ["button", {onclick: function() {
        bookCitation();
        editor.renderer.scrollCursorIntoView(null, 0.5)
        
        editor.focus()
    }}, "cite"],


    ["button", {onclick: function() {
        findNext(/\[[\d\,\-\s]*\]/g, eqAndBibExclusionRe)
        updateSearch()
        editor.focus()
    }}, "next"],

	"      \x1a     \x1a \x1a  ",

	["button", {onclick: function() {
		editor.selection.moveTo(0, 0)
		var max = 10000
       	while(findNext(/\[[\d\,\-\s]*\]/g, eqAndBibExclusionRe) && max-- >0) {
			bookCitation();
		}
       	editor.focus()
    }}, "all"],

    ["br"],

	["button", {onclick: function() {
        
		var text = editor.getSelectedText()

		text = text
            .replace(/^\s*(References|Literature|литература)/i, "")
            .replace(/\n+(\d+)\.?/gm, function(_, number) {
                return "\n\n\\bibitem{book" + number +"}\n"
            });

		var replacement = "\\begin{thebibliography}{1}\n"
			+ text
			+ "\n\\end{thebibliography}"

		editor.insert(replacement)
        editor.focus()
    }}, "bibliography"],



    ["hr"], // section
    ["button", {onclick: function() {
       
        var line = editor.getSelectedText()
        sectionReg.lastIndex = 0
        var match = sectionReg.exec(line)
        var number = match[1] 
        var caption = match[2].trim()

        editor.insert(`\\section{ ${caption} }\n`+`\\label{part${number}}\n`)
        editor.renderer.scrollCursorIntoView(null, 0.5)
        editor.focus()

        // findNext(sectionReg)
    }}, "section"],
    ["button", {onclick: function() {
       findNext(sectionReg, eqAndBibExclusionRe)
       updateSearch()
       editor.focus()
    }}, "next"],



    
    ["hr"],
	"Equations",

    ["br"],

    ["button", {onclick: function() {
		replaceNumberedEquation() 
        editor.renderer.scrollCursorIntoView(null, 0.5)
        editor.focus()
    }}, "numbered equation"],

    ["button", {onclick: function() {
       	findNext(eqReg)
        updateSearch()
       	editor.focus()
    }}, "next"],
	"           ",

    ["button", {onclick: function() {
		editor.selection.moveTo(0, 0)
		var max = 10000
       	while(findNext(eqRegStrict) && max-- >0) {
			replaceNumberedEquation() 
		}
    }}, "all"],

    ["br"],

    ["button", {onclick: function() {
		convertToDisplay();
        editor.renderer.scrollCursorIntoView(null, 0.5)
       	editor.focus();
    }}, "display"],
    
    ["button", {onclick: function() {
		convertToInline()
        editor.renderer.scrollCursorIntoView(null, 0.5)
       	editor.focus() 
    }}, "inline"],

    ["button", {onclick: function() {
       	findNext(inlineEqReg)
       	editor.focus()
        updateSearch()
    }}, "next"],
    ["br"],

	["button", {onclick: function() {
		editor.selection.moveTo(0, 0)
		var max = 10000
       	while(findNext(inlineEqReg) && max-- >0) {
			convertToInline() 
		}
       	editor.focus()
    }}, "all inline"],

    ["br"],
    ["hr"],
    ["button", {onclick: function() {
       	findNext(inlineEqStartReg)
       	editor.focus()
    }}, "next broken"],
    ["button", {onclick: function() {
       	findNext(/^\s*\(\d+\.\d+\.\d+\w*\)\s*$/gmi)
       	editor.focus()
    }}, "next empty"],

	["br"],
    ["button", {onclick: function() {
		editor.selection.moveTo(0, 0)
		var max = 10000
       	while(findNext(displayEqReg) && max-- >0) {
			convertToDisplay()
		}
       	editor.focus()
    }}, "all display"],

    ["br"],


	// ["button", {onclick: function() {
       
	//    convertNumbers()
	//   	editor.focus() 
   	// }}, "convert numbers to refs"],  

	["button", {onclick: function() {
		replaceEqRef() 
        editor.renderer.scrollCursorIntoView(null, 0.5)
        editor.focus()
    }}, "eq ref"],

    ["button", {onclick: function() {
       	findNext(eqRefReg, eqAndBibExclusionRe)
       	editor.focus()
        updateSearch()
    }}, "next"],
	"   \x1b  \x1b  \x1b  \x1b  ",

    ["button", {onclick: function() {
		editor.selection.moveTo(0, 0)
		var max = 10000
		var data = {}
       	while(findNext(eqRefReg, eqAndBibExclusionRe) && max-- >0) {
			replaceEqRef(data) 
		}
		console.log(max)
    }}, "all"],

	["br"],
    ["hr"],
 

    //  ["button", {onclick: function() {
    //     var line = editor.getSelectedText()
    //     var replacement = `\\begin{subequations}\n${line}\n\\end{subequations}`
    //     console.log(replacement)
    //      editor.insert(replacement)
    //      editor.renderer.scrollCursorIntoView(null, 0.5)
    //    editor.focus()
    // }}, "subequations"],    
    // ["button", {onclick: function() {
    //     findNext(/eq\d+_\d+_\d+[^\d\}]+/g, /\\begin{subequations[\s\S]*?\\end{subequations/g)
    //     editor.focus()         
    // }}, "next"],
    ["br"],

    // ["button", {onclick: function() {        
    //     var figureRe = /(?<!\\)\b(sh|ch|exp)\b/g
    //     var line = editor.getSelectedText()  
    //     var match = figureRe.exec(line)
    //     var figName = match[1]  
    //     var replacement = "\\" + figName
    //     editor.insert(replacement)
    //     editor.renderer.scrollCursorIntoView(null, 0.5)
    //     editor.focus()
    //     editor.focus()
    // }}, "sh|ch"],
    
    // ["button", {onclick: function() {
    //    findNext(/(?<!(?:\\|\\operatorname\{))\b(sh|ch|exp)\b/g)
    //    editor.focus()
    // }}, "next"],
    
    // ["br"],

    //  ["button", {onclick: function() {
    //    findNext(inlineEqStartReg)
    //    editor.focus()
    // }}, "check eq refs"],
    ["br"],
    ["button", {onclick: function() {
       	findNext(/[^\x00-\xff\s]/g)
       	editor.focus()
    }}, "next non-english"],
    ["br"],
    ["button", {onclick: function() {
        do {
            findNext(/(\\\[(?:[^\\]|\\[^\]])+\\\]|\$[^$]+\$|\\begin{equation[\s\S]*?\\end{equation)|(\. *\n)(?=[ \t]*\S)/g)
            var text = editor.getSelectedText()
        } while(text && !/^(\. *\n)/.test(text))
       	editor.focus()
    }}, "next paragraph"],
    ["br"],

    ["button", {onclick: function() {
        var line = editor.getSelectedText()
        var match = /[^\d]*([\d.]+)(.*)([\s\S]*)/g.exec(line)
        var number = formatRefNumber(match[1])
        var caption = match[2].trim().replace(/^}|\\textbf{}/g, "")
        var tabular = match[3]
        
        var rows = tabular.trim().split("\n");
        var l 
        rows.forEach(function(x) {
            if (l == null) l = x.split("\t").length
        })

        tabular = "\\begin{tabular}{|" +  "c| ".repeat(l) + "}\\hline \n"  
            + rows.map(x=>x.replace(/\t/g, " & ")).join("\\\\ \\hline \n")
            + "\\\\ \\hline \n \\end{tabular}"

        var replacement = `\\begin{table}[!h]
\\centering
\\caption{
${caption}
}
\\label{tab:${number}}

${tabular}
\\end{table}`

        editor.insert(replacement)
        editor.renderer.scrollCursorIntoView(null, 0.5)
        editor.focus()
    }}, "table"],

    ["button", {onclick: function() {
        // (\\begin{tabular[\s\S]*?\\end{tabular})
        findNext(/(TAB(LE)|Таблица)?\s*([\d.]+)([\S\s]*?)/gi)
        editor.focus()
        updateSearch()
    }}, "next"],
    ["br"],

    ["button", {onclick: function() {
        var figureRe = /(?:FIGURE|Fig|фиг)?\.?\s*([\d.]+\w?)(.*)/i
        var line = editor.getSelectedText().replace(/\n/g, " ")
        var match = figureRe.exec(line)
        var number = formatRefNumber(match[1])
        var caption = match[2].trim().replace(/^}|\\textbf{}/g, "").trim()

        if (figureRe.test(caption)) {
            var match2 = figureRe.exec(caption)
            var number2 = formatRefNumber(match2[1])
            var caption2 =  match2[2].trim().replace(/^}|\\textbf{}/g, "").trim()
            caption = caption.slice(0, match2.index).trim()

            var pageType = /[^\d]$/.test(number) ? "subfigure" : "minipage"
    
            var replacement = `\\begin{figure}[h]
\\centering
\\begin{${pageType}}{.45\\textwidth}
  \\centering
  \\includegraphics[width=.9\\linewidth]{fig_${number}.eps}
  \\caption{ ${caption} }
  \\label{fig_${number}}
\\end{${pageType}}
\\begin{${pageType}}{.45\\textwidth}
  \\centering
  \\includegraphics[width=.9\\linewidth]{fig_${number2}.eps}
  \\caption{ ${caption2} }
  \\label{fig_${number2}}
\\end{${pageType}}
\\end{figure}`
         } else {
         
        var replacement = `\\begin{figure}[h]
    \\centering
    \\includegraphics[scale=.4]{fig_${number}.eps}
    \\caption{ ${caption} }
    \\label{fig_${number}}
\\end{figure}`
        }

        editor.insert(replacement)
        editor.renderer.scrollCursorIntoView(null, 0.5)
        editor.focus()
    }}, "figure"],

    ["button", {onclick: function() {
        findNext(/(FIG(URES?|\.)?|TABLES?)\s*[\d\.]+[a-z]?(?:\s*(?:and|-|,)\s*([\d\.]+[a-z]?))?/ig)
        editor.focus()
        updateSearch()
    }}, "next"],
    ["span", "\xa0\xa0\xa0\xa0\xa0\xa0"],
    ["button", {onclick: function() {
        
        var figureRe = /(FIG(?:URES?|\.)?|TABLES?)\s*([\d\.]+[a-z]?)(?:\s*(and|-|,)\s*([\d\.]+[a-z]?))?/i
        var line = editor.getSelectedText().replace(/\n/g, " ")
        if (line.slice(-1) == ".") {
            line = line.slice(0,-1)
            var r = editor.selection.getRange(); r.end.column--; editor.selection.setRange(r) 
        }
        
        var match = figureRe.exec(line)
        var figName = match[1]
        var number = formatRefNumber(match[2])
        var link = match[3]
        var number2 = formatRefNumber(match[4] || "")

        var replacement = figName + " \\ref{fig_" + number + "}"

        if (number2) replacement += (link == "-" ? "-" : link == ","? ", " : " " + link + " ") + "\\ref{fig_" + number2 + "}"
        
        editor.insert(replacement)
        editor.renderer.scrollCursorIntoView(null, 0.5)
        editor.focus()
         

        editor.focus()
    }}, "ref"],


    ["hr"],
    ["button", {onclick: function() {
        var text = editor


       
        var line = editor.getSelectedText()
        expRe.lastIndex=0
        var m = expRe.exec(line)
        console.log(m)
        var contents = (m[1] || m[2])
        if (!contents) return;

        var replacement = "e^{" + contents + "}"

        var sel = editor.selection.toJSON();

        var reg = ace.require("ace/lib/lang").escapeRegExp(line);
        var reg = new RegExp(reg)

        editor.selection.moveTo(0, 0)
		var max = 10000
		var data = {}
       	while(findNext(reg) && max-- >0) {
			editor.insert(replacement)
		} 
        
        editor.selection.fromJSON(sel); 
        // sectionReg.lastIndex = 0
        // var match = sectionReg.exec(line)
        // var number = match[1] 
        // var caption = match[2].trim()

        // editor.insert(`\\section{ ${caption} }\n`+`\\label{part${number}}\n`)
        editor.renderer.scrollCursorIntoView(null, 0.5)
        
        editor.focus()

    }}, "exp to e"],

    ["button", {onclick: function() {
        findNext(expRe)
        editor.focus()
        updateSearch()
    }}, "next"],
    

], sidePanel)

var expRe = /\\exp\s*(?:\(([^)]*)\)|\\left\(([^)]*)\\right\))/g


function replaceBibItem() {
    var line = editor.getSelectedText()
    var replacement = line.replace(/\n+(\d+)\.?/gm, function(_, number) {
        return "\n\n\\bibitem{book" + number +"}\n"
    });
    
    editor.insert(replacement)
}

function initialize() {
    var v=editor.getValue();
    var v1=v.replace(/’/g, "'").replace(/β/g, '$\beta$')

    v1 = v1.replace(/(\\\[(?:[^\\]|\\[^\]])+\\\]|\$[^$]+\$|\\begin{equation[\s\S]*?\\end{equation)|(\. *\n)(?=[ \t]*[^\s}\])$])/g, function(a,_,b) { if(b) return b + "\n"; return a })
    v1 = v1.replace(/{align}/g, "{aligned}")
    v1 = v1.replace(/а/g, "a")
    v1 = v1.replace(/–/g, "--")
    v1 = v1.replace(/[“”]/g, '"')


    if (!/begin\{document}/.test(v1)) {
        v1=`\\documentclass[12pt,a4paper]{article}
\\usepackage[utf8]{inputenc}
\\usepackage[T1]{fontenc}
\\usepackage{amsmath}
\\usepackage{amsfonts}
\\usepackage{amssymb}
\\usepackage{graphicx}

% \\usepackage{diagbox}
% \\newcommand{\\Chi}{\\mathrm{X}}
% \\newcommand{\\Alpha}{\\mathrm{A}}
% \\usepackage{unicode-math}
% \\newcommand{\\sgn}{\\mathop{sgn}}

  
\\usepackage{caption}
\\captionsetup[figure]{font=scriptsize}
\\captionsetup[figure]{font=footnotesize}


% \\renewcommand{\\theequation}{\\thesection.{\\arabic{equation}}}
\\numberwithin{equation}{section}

\\begin{document}


\\begin{center}\\Large{\\textbf{  
    TITLE    
} }\\end{center}

\\begin{center}
AUTHOR NAME
\\end{center}

${v1}

\\end{document}
`
    }

    if (v!=v1) editor.setValue(v1)
}

var eqRefReg = /\(\d+[.\d]+\w*\)/g
function replaceEqRef(data) {
	if (!data) data = {}
	var results = data.results;
	if (!results) {
		results = data.results = computeLabels()
	} 
	var e = editor.getSelectedText();
	if (!e) return
	var e1 = e.slice(1, -1).replace(/\./g, "_");
	if (!results[e1]) {
		console.log(e1)
		editor.navigateRight()
		return
	}
	var replacement = `\\eqref{eq${e1}}`
    editor.insert(replacement)
}

function computeLabels() {
    var v = editor.getValue();
    var re = /\\label{eq([\d_\w]*)}/g
    var results = {}
    var m
    while ((m = re.exec(v))) {
        results[m[1]] = 1
    }
    return results
}
function convertNumbers() {
	var results = computeLabels();
    var v1 = v.replace(/\(\d+\.\d+\.\d+\w*\)/g, function(e) {
        var e1 = e.slice(1, -1).replace(/\./g, "_");
        if (!results[e1]) {
            console.log(e1)
            return e
        }
        return `\\eqref{eq${e1}}`
    })
    if (v1 != v) editor.setValue(v1)
}

function fixBibliography() {
    var newValue = editor.getValue() .replace(/(\\bibitem{book\d+}\s*)([^\d\\\n]+)(\d{4}\b).?\s*/g, function(_, intro, names, number) {

        var newNames = names.replace(/([^\s,.]+),?\s+(\w{1,3}\.(\s*\w{1,3}\.)*)/g, function(_, x1, x2) {
            return x1 + " " + x2.replace(/[\s.]/g, "")
        }).trim()
        console.log(newNames)


        return intro + newNames + " (" + number + ") "

    })
    editor.setValue(newValue)
}

function randomStuff() {

value = "\\bibitem{book19}\n\
	Uflyand, Ya.1968. Integral Transformations in Problems of the Elasticity Theory. Leningrad. Nauka. 402 (in Russian).   \
"

value.replace(/(\\bibitem{book\d+}\s*)([^\d\\\n]+)(\d+).?\s*/g, function(_, intro, names, number) {
 
   /* var parts = names.split(",")
    var newNames = []
    for (var i = 0; i< parts.length; i++) {
        var lastName = parts[i].trim() 
        var initials = parts[i + 1].replace(/[\s\.]/g, "")
        i++
        newNames.push(lastName + " " + initials)
    }
        */

    var newNames = names.replace(/([^\s,.]+),?\s+(\w{1,3}\.(\s*\w{1,3}\.)*)/g, function(_, x1, x2) {
        return x1 + " " + x2.replace(/[\s.]/g, "")
    }).trim()
    console.log(newNames)
    
     
    return intro + newNames + " (" + number + ") " 
    
})
}

function removeAlignement() {
    v=editor.getValue().replace(/\\(begin|end){aligned}/g, "")
    .replaceAll("\\right.", "").replaceAll("\\left.", "")
    .replaceAll("\\right", "").replaceAll("\\left", "")

    .replaceAll(/\\\\/g, "") .replaceAll(/&/g, "")
    .replaceAll(/\\\\/g, "") .replaceAll(/&/g, "")
    .replaceAll(/ *\+ *\n *\+/g, " +\n")
    .replaceAll(/ *\- *\n *\-/g, " -\n")
    .replaceAll(/ *\\times  *\n *\\times/g, " \\times\n")
    console.log(v)

}

window.onpagehide = function() {
	localStorage.lastValue = editor.getValue();
	localStorage.lastSelection = JSON.stringify(editor.selection.toJSON());
	localStorage.scrollTop = editor.session.getScrollTop()
}

</script>