Feeling Lucky
[#242] - Enhancements for CodeMirror
- Closed
- 18 Jun 2012
- Medium
- Build: master
- # 242
- Diff
- okonomiyaki3000:master
User tests: Successful: Unsuccessful:
CodeMirror is pretty great but wouldn't it be better if we could set a minimum height, change the font face and size to our liking, use line numbers and other such nice things? Yes! To that end, here is a patch.
Oops, I think this is wrong.