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
..
files	Update CodeMirror plugin to latest version and the new widget framework	2013-10-25 09:48:57 +01:00
codemirroreditor.js	Change `new_widget` to `widget`	2013-11-08 08:47:00 +00:00
plugin.info	…
styles.tid	Update CodeMirror plugin to latest version and the new widget framework	2013-10-25 09:48:57 +01:00