5 commits

Author	SHA1	Message	Date
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
Jeremy Ruston	693d1803bf	Fix problem with codemirror plugin and handling of ordinary input fields	2013-10-30 14:28:20 +00:00
Jeremy Ruston	cfa68dade5	Update CodeMirror plugin to latest version and the new widget framework ... Now the CodeMirror plugin modifies the behaviour of the core edit-text widget.	2013-10-25 09:48:57 +01:00
Jeremy Ruston	eebf3dae95	CodeMirror updates	2013-05-15 17:32:28 +01:00
Jeremy Ruston	dd8c8567fd	Add experimental CodeMirror plugin ... The plugin is incomplete, and currently abandoned. It loads up an instance of CodeMirror as an editor, and loads the right tiddler into it, but the work hasn't been done to allow changes to be saved. The startup time is ridiculously long, which is why I abandoned it.	2013-05-07 14:42:47 +01:00