From 8fbf52e419e71d726ea32b6c44e3ccfc4245d825 Mon Sep 17 00:00:00 2001 From: "jeremy@jermolene.com" Date: Sun, 23 May 2021 11:19:46 +0100 Subject: [PATCH] Don't issue plugin reload warning for plugin-type: import Fixes #5719 --- core/modules/wiki.js | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/core/modules/wiki.js b/core/modules/wiki.js index 6aa6c7ced..0fcb9b7b0 100755 --- a/core/modules/wiki.js +++ b/core/modules/wiki.js @@ -1509,6 +1509,13 @@ exports.invokeUpgraders = function(titles,tiddlers) { // Determine whether a plugin by title is dynamically loadable exports.doesPluginRequireReload = function(title) { + var tiddler = this.getTiddler(title); + if(tiddler && tiddler.fields.type === "application/json" && tiddler.fields["plugin-type"]) { + if(tiddler.fields["plugin-type"] === "import") { + // The import plugin never requires reloading + return false; + } + } return this.doesPluginInfoRequireReload(this.getPluginInfo(title) || this.getTiddlerDataCached(title)); };