Looking at the Codemirror plugin demo <https://tiddlywiki.com/plugins/tiddlywiki/codemirror/> which also has the autocomplete addon installed...
I note that if I create a new tiddler, named *New Tiddler* and, in another tiddler, type [[ I automatically get also the closing brackets [[]] (and cursor conveniently placed in between) but as I begin to type *New* there is no text autocompletion or suggestions. Generally put, If I type [[ or <$ or << then I want for all tiddlers / widgets / macros to have a list show from which I can select an entry. If the string is extended to e.g Does this functionality not exist? What would be required to make it exist? I cannot find any instrux for that "Autocompletion" addon. Also, writing class="foo should show a select list of all classes prefixed foo. Further, it seems that when I in a Stylesheet type bord (as in "border") that *is* recognized as an attribute name because it remains colored red until I've typed the last letter in border (and before any eventual space character). But I barely see any point with this recognition without autocomplete - ? I also want be able to hover or click on certain keywords and have some info text come up. For example, if I click on a macro then perhaps the parameter list shows (extracted from some docs or from the macro definition) and if I click on a style def attribute then it's possible values come up. What would it take to enable this type of functionality? It is all about some pattern recognition and showing a list of stuff pulled from either some dictionary or a search in the code. Thanx! <:-) -- 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/445ac71f-c935-445a-a218-29fee2a31375%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
