Skip to content

Fix source editor for the case of no CodeMirror editor. - #3244

Merged
cahrens merged 1 commit into
rc/2014-04-09from
christina/latex-bug-release
Apr 8, 2014
Merged

Fix source editor for the case of no CodeMirror editor.#3244
cahrens merged 1 commit into
rc/2014-04-09from
christina/latex-bug-release

Commits

Commits on Apr 8, 2014