|
@@ -207,11 +207,6 @@ define [
|
|
|
|
|
|
|
|
editor.setOption("scrollPastEnd", true)
|
|
editor.setOption("scrollPastEnd", true)
|
|
|
|
|
|
|
|
- resetSession = () ->
|
|
|
|
|
- session = editor.getSession()
|
|
|
|
|
- session.setUseWrapMode(true)
|
|
|
|
|
- session.setMode("ace/mode/latex")
|
|
|
|
|
-
|
|
|
|
|
updateCount = 0
|
|
updateCount = 0
|
|
|
onChange = () ->
|
|
onChange = () ->
|
|
|
updateCount++
|
|
updateCount++
|
|
@@ -235,6 +230,7 @@ define [
|
|
|
editor.setSession(new EditSession(lines, mode))
|
|
editor.setSession(new EditSession(lines, mode))
|
|
|
|
|
|
|
|
session = editor.getSession()
|
|
session = editor.getSession()
|
|
|
|
|
+ session.setUseWrapMode(true)
|
|
|
|
|
|
|
|
doc = session.getDocument()
|
|
doc = session.getDocument()
|
|
|
doc.on "change", onChange
|
|
doc.on "change", onChange
|