Dynamic plugins: Fix registration of themes and languages

fix-syncer
Jeremy Ruston 2019-09-16 13:17:09 +01:00
rodzic 0017d441d9
commit 7f9823c5b2
2 zmienionych plików z 4 dodań i 2 usunięć

Wyświetl plik

@ -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

Wyświetl plik

@ -1,7 +1,7 @@
title: $:/config/RegisterPluginType/
plugin: yes
theme: yes
language: yes
theme: no
language: no
info: no
import: no