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

Fix source editor for the case of no CodeMirror editor.

e008de8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs