From 7f9823c5b2ed1ef11e47d94d13fa54c98dd8b023 Mon Sep 17 00:00:00 2001 From: Jeremy Ruston Date: Mon, 16 Sep 2019 13:17:09 +0100 Subject: [PATCH] Dynamic plugins: Fix registration of themes and languages --- core/modules/pluginswitcher.js | 2 ++ core/wiki/config/RegisterPluginTypes.multids | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/core/modules/pluginswitcher.js b/core/modules/pluginswitcher.js index ab82be933..395dc8b20 100644 --- a/core/modules/pluginswitcher.js +++ b/core/modules/pluginswitcher.js @@ -60,6 +60,8 @@ PluginSwitcher.prototype.switchPlugins = function() { } }; accumulatePlugin(selectedPluginTitle); + // Read the plugin info for the incoming plugins + var changes = $tw.wiki.readPluginInfo(plugins); // Unregister any existing theme tiddlers var unregisteredTiddlers = $tw.wiki.unregisterPluginTiddlers(this.pluginType); // Register any new theme tiddlers diff --git a/core/wiki/config/RegisterPluginTypes.multids b/core/wiki/config/RegisterPluginTypes.multids index d2113728b..f0e52acd5 100644 --- a/core/wiki/config/RegisterPluginTypes.multids +++ b/core/wiki/config/RegisterPluginTypes.multids @@ -1,7 +1,7 @@ title: $:/config/RegisterPluginType/ plugin: yes -theme: yes -language: yes +theme: no +language: no info: no import: no