Hi Ton, Worked like a charm.
One thing that I didn't like about the doc plugin is that it showed this ribbon even when I was trying to edit my own tiddlers: "Can you help us improve this documentation? Find out how <http://tiddlywiki.com/#Improving%20TiddlyWiki%20Documentation> to edit this tiddler on GitHub <https://github.com/Jermolene/TiddlyWiki5/edit/master/editions/tw5.com/tiddlers/system/doc-styles.tid> " Is that a bug or a feature? Sergei On Tue, Jun 27, 2017 at 8:02 AM, Ton Gerner <[email protected]> wrote: > Hi Sergei, > > I created an issue at Github > <https://github.com/Jermolene/TiddlyWiki5/issues/2927> about the Dos > plugin and searching. > > The .tip macro and associated classes can be found in $:/editions/ > tw5.com/doc-macros: > The classes itself can be found in $:/editions/tw5.com/doc-styles > > Cheers, > > Ton > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "TiddlyWiki" group. > To unsubscribe from this topic, visit https://groups.google.com/d/ > topic/tiddlywiki/nAZ_fyOMz_M/unsubscribe. > To unsubscribe from this group and all its topics, 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/b49dec7c-7fbf-4650-bbba-935b23afd14f%40googlegroups.com > <https://groups.google.com/d/msgid/tiddlywiki/b49dec7c-7fbf-4650-bbba-935b23afd14f%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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/CADM1pVyBZjdui__AAkErNLWsupwP9Ntebvpv3Q%3DYA26avx%3DFQg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
