mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2025-09-01 18:38:02 +00:00
Code Issues Releases Wiki Activity

Merge pull request #1763 from Drakor/fixCMRefresh

Browse Source 
CodeMirror plugin now refreshes the tiddler type
This commit is contained in:
Jeremy Ruston
2015-06-13 18:05:18 +01:00
parent 10e75738d4 d8366cc45f
commit e4ea8c0cc2
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);
};
/*