In the version of BoxLinux I downloaded (1.0.7), I ran into what I think is
a typo. In the file $:/plugins/OokTech/Bob/SelectPlugins the following
code appears to have the katex plugin hardcoded.
<$button>
Save Plugin As Folder
<$action-websocketmessage
$type='savePluginFolder'
plugin='$:/plugins/tiddlywiki/katex'
/>
</$button>
On Friday, October 5, 2018 at 2:34:28 PM UTC-4, Jed Carty wrote:
>
> This update is focused on improving the fetching interface and the plugin
> server functionality.
>
> You can now add plugins to the plugin library from inside the wiki and you
> can use any plugins that are available in the plugin library in any of the
> served wikis. You can drag and drop a plugin into a wiki and then use the
> interface in the control panel to save the plugin on the server. Then in
> the control panel you can select which plugins you want to include in the
> wiki.
>
> Both features work but I haven't had a chance to thoroughly test them or
> to figure out what would be a good interface. Which is why we have the
> prerelease version here.
>
> I am sure that as soon as anyone else touches it there will be many bugs
> that need to be fixed so have at it.
>
> Some more documentation about the plugin library features is here:
>
> https://github.com/OokTech/TW5-Bob/blob/master/Documentation/Plugin%20Library.tid
>
> Documentation about the individual components is in the documentation
> included with Bob.
>
> The plugin version is available here: https://github.com/OokTech/TW5-Bob
> The BobEXE version is available here:
> https://github.com/OokTech/TW5-BobEXE/releases/tag/1.0.7
>
> !! Version 1.0.7 (ongoing)
>
> - Add `savePluginFolder` web socket message to save packaged plugins as
> folders
> on a server. These plugins can then be available to other served wikis and
> in
> the plugin library, if it is enabled.
> - Add the `import` borwser message handler to make fetching nicer
> - Add options for how to handle conflicts for `internalFetch`
> - `internalFetch` now displays a list of imported tiddlers
> - Added a way to change which plugins a wiki uses from inside the wiki
> - Added an interface to save plugins to the server and to select which
> plugins
> from the server should be used in the current wiki
>
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/tiddlywiki.
To view this discussion on the web visit
https://groups.google.com/d/msgid/tiddlywiki/401e706a-ee63-4d70-9f8e-f19f2a36db78%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
