Ashutosh Kashyap

Currently, textboxes in settings are the same as the editor itself, but that makes theming them into separate colors difficult; this was talked about on discord already, and it was...

[2.1] bunch of problems with plugins

14

so the plugins for 2.1 have quite a few problems, and it was decided in the discord chat to list all the problems here. so here goes nothing: - the...

added mdpreview, a markdown previewer

3

since the `ghmarkdown` plugin was using the GitHub API for converting markdown to html, there were privacy concerns (let alone the fact that it wouldn't work offline); so I wrote...