Feature request: CodeMirror in File Manager editorby Larry Riddle - Number of replies: 1
In reply to Larry Riddle
Re: Feature request: CodeMirror in File Manager editorby Michael Gage -
I understand the confusion now about whether CodeMirror was included in 2.13.
It seemed to me at first that CodeMirror was overkill for editing library paths, but then I realized that some people use the "Edit" feature of FileManager to edit their .pg files.