Features & Development

Feature request: CodeMirror in File Manager editor

Feature request: CodeMirror in File Manager editor

by Larry Riddle -
Number of replies: 1
This is a request that the CodeMirror editor be added to the File Manager editor so that CodeMirror can be used in the File Manager. In version 2.13, it is only enabled for the PG editor (accessed through the problem set detail page, or the library browser). Thank you.
In reply to Larry Riddle

Re: Feature request: CodeMirror in File Manager editor

by 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.

We'll put this on the list of projects. I would be happy to accept a pull request (to the develop branch) if someone creates a version of FileManager that includes the necessary javaScript files for CodeMirror on the Edit and/or View tabs.