UsingWW: Feature request: CodeMirror in File Manager editor

Features & Development

Feature request: CodeMirror in File Manager editor

This forum has a limit to the number of forum postings you can make in a given time period - this is currently set at 5 posting(s) in 1 day

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.

Re: Feature request: CodeMirror in File Manager editor

by Michael Gage - Sunday, 13 August 2017, 10:12 AM

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.