Dynamic plugins: Change "contains JavaScript" to "requires reload"

We might in the future offer support for certain types of JS module to be hot loaded.
This commit is contained in:
Jeremy Ruston
2019-09-27 16:47:55 +01:00
parent cb3bec65a1
commit 93e01435d1
5 changed files with 14 additions and 14 deletions
+2 -2
View File
@@ -28,8 +28,8 @@ exports.startup = function() {
requireReloadDueToPluginChange = false;
$tw.utils.each(Object.keys(changes),function(title) {
var tiddler = $tw.wiki.getTiddler(title),
containsModules = $tw.wiki.doesPluginContainModules(title);
if(containsModules) {
requiresReload = $tw.wiki.doesPluginRequireReload(title);
if(requiresReload) {
requireReloadDueToPluginChange = true;
} else if(tiddler) {
var pluginType = tiddler.fields["plugin-type"];