Files
TiddlyWiki5/plugins/tiddlywiki/codemirror/codemirroreditor.js
Jeremy Ruston b7cb1d3391 Change new_widget to widget
I was avoiding doing this until after the merge.
2013-11-08 08:47:00 +00:00

1.2 KiB