clone/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/TiddlyWiki/TiddlyWiki5.git synced 2026-04-28 18:44:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Change new_widget to widget

Browse Source 
I was avoiding doing this until after the merge.
This commit is contained in:
Jeremy Ruston
2013-11-08 08:47:00 +00:00
parent 3e3a5917b7
commit b7cb1d3391
37 changed files with 94 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
plugins/tiddlywiki/codemirror/codemirroreditor.js
View File

@@ -1,7 +1,7 @@
/*\
title: $:/core/modules/new_widgets/edit-text-codemirror.js
title: $:/core/modules/widgets/edit-text-codemirror.js
type: application/javascript
module-type: new_widget
module-type: widget
Extend the edit-text widget to use CodeMirror
@@ -16,7 +16,7 @@ if($tw.browser) {
require("$:/plugins/tiddlywiki/codemirror/codemirror.js");
}
var EditTextWidget = require("$:/core/modules/new_widgets/edit-text.js")["edit-text"];
var EditTextWidget = require("$:/core/modules/widgets/edit-text.js")["edit-text"];
/*
The edit-text widget calls this method just after inserting its dom nodes