Closed talklittle closed 6 years ago
@talklittle Could you explain why this is closed since I think this feature nice to have.
New commit d825b5562e9914627056d76be65c991c75280ba9 changes the UI of that page significantly. Would need to figure out how CodeMirror API works to redo the PR, and no indication maintainer even cares about this feature.