mirrors/TiddlyWiki5
1
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5.git synced 2026-03-14 10:42:49 -07:00
Code Issues Projects Releases Packages Wiki Activity

CodeMirror plugin now refreshes the tiddler type

Browse source
This commit is contained in:
Andreas Hahn 2015-05-28 14:24:04 +02:00
parent fdbde1b389
commit d8366cc45f
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
plugins/tiddlywiki/codemirror/edit-codemirror.js
View file

@ -173,18 +173,20 @@ EditCodeMirrorWidget.prototype.refresh = function(changedTiddlers) {
this.refreshSelf();
return true;
} else if(changedTiddlers[this.editTitle]) {
this.updateEditor(this.getEditInfo().value);
var editInfo = this.getEditInfo();
this.updateEditor(editInfo.value, editInfo.type);
return true;
}
return false;
};
/*
Update the editor with new text. This method is separate from updateEditorDomNode()
Update the editor with new text and type. This method is separate from updateEditorDomNode()
so that subclasses can override updateEditor() and still use updateEditorDomNode()
*/
EditCodeMirrorWidget.prototype.updateEditor = function(text) {
EditCodeMirrorWidget.prototype.updateEditor = function(text, type) {
this.updateEditorDomNode(text);
this.codeMirrorInstance.setOption("mode", type);
};
/*