Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Make Scratchpad a supported editor #1688
A simple text editor, built into Firefox. Perhaps something built on that, perhaps make it the default.
referenced this issue
Feb 4, 2013
Sorry, I should elaborate on my last comment. Actually, the editor is configurable, where I already configured it but when I booted my machine today, it seems it forgot the setting meaning extensions.greasemonkey.editor disappeared. I'm not sure if this happened as a result of rebooting or just closing and opening firefox. I will have to investigate more.