Hi everyone, Like I'm sure many of you do, I use `...` syntax for little bits of inline code. I use backticks for keywords and identifiers when writing about programming, for equations when writing about math, or for denoting filenames. I was thinking about creating a new type of widget to allow a user such as myself to specify the *semantics* behind a backticked piece of text. For example, let's say I have notes about linear algebra: I might use backticks for a definition (eg. `vector space`), an equation (eg. `α(u + v) = αu + αv`), etc. - with my theoretical plugin, those would look something like `define: vector space` and `equation: α(u + v) = αu + αv`. New variants could be defined in tiddlers without needing to create a new plugin, and variants could have custom rendering options attached to them. I was also thinking of writing an AST-based search to aggregate these (eg. "show me all definitions among my linear algebra notes"), but that's a whole other story. I'm currently calling this idea "domain-specific backticks".
I wanted to introduce this idea to the group for several reasons: 1) To see if something like this has been done already - TiddlyWiki has such a vibrant plugin ecosystem, so it wouldn't surprise me! 2) To see if the idea I'm talking about even makes sense, or if there's an alternative. 2) To see if people would be interested in such an idea - if so, that will provide me with extra motivation and encourage me to share my results here. 3) To see if people have ideas on how to make use of this or improve it. Let me know what you think of this idea! Thanks, Rob -- 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 post to this group, send email to tiddlywiki@googlegroups.com. 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/0fddc2f9-969f-4343-90a0-78f8f8d11ce5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
