@Mohammad the problem with this filter is that it doesn't exclude the following situations: - plugin installed but disabled when the wiki loaded, but later enabled (but still not active). - plugin freshly installed but wiki has not been saved and reloaded.
On Monday, April 19, 2021 at 10:01:05 PM UTC+2 Mohammad wrote: > On Mon, Apr 19, 2021 at 11:15 PM Saq Imtiaz <saq.i...@gmail.com> wrote: > >> I am wondering if anyone has a better solution for detecting in wikitext >> whether a plugin is installed and available. >> >> For example, for detecting if the codemirror editor is available, I am >> using the following filter: >> >> [[$:/plugins/tiddlywiki/codemirror]!is[missing]] >> :filter[lookup:no[$:/config/Plugins/Disabled/]match[no]] >> >> - This checks if the plugin tiddler is present as long as it has not >> been renamed. >> >> > In Commander, I use the first part to see if Relink is installed or not! > but your solution here addresses the disabled status also! > >> >> - It checks whether the plugin has been disabled. >> - However, if the plugin was disabled when the TW loaded and later >> enabled, this filter will still indicate that codemirror is available >> even >> though the editor will not work until the wiki is saved and reloaded. >> >> Any alternative approaches that might work? >> Regards, >> >> Saq >> >> -- >> You received this message because you are subscribed to the Google Groups >> "TiddlyWiki" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to tiddlywiki+...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/tiddlywiki/afa146d8-5308-49b4-8668-f360d86f6dban%40googlegroups.com >> >> <https://groups.google.com/d/msgid/tiddlywiki/afa146d8-5308-49b4-8668-f360d86f6dban%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/b325994a-4456-407a-be32-63e2b50676b9n%40googlegroups.com.