Hi Mat > In deed unfortunate. > I'm thinking that those buttons would then better not show up in FF. If not > for this release then for the next, > There are additional such differences in TW between, and
The undo/redo buttons *do* work in Firefox if you install the CodeMirror plugin. Incidentally, the CodeMirror plugin is now much more useful because it features bracket matching, which really helps when writing complex wikitext. > due to, different browsers so it would be good with a general "if browser X > then..." kind of command. I’ll investigate hiding the buttons in the specific case of running on Firefox with no CodeMirror plugin, but as usual I’m reluctant to spend too much time working around browser oddities. Best wishes Jeremy > > <:-) > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/tiddlywiki > <https://groups.google.com/group/tiddlywiki>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/d0c22158-30a2-4797-9a50-eea15d00ac2e%40googlegroups.com > > <https://groups.google.com/d/msgid/tiddlywiki/d0c22158-30a2-4797-9a50-eea15d00ac2e%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <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/C3999F6A-A74A-4190-B100-1657E98BE04F%40gmail.com. For more options, visit https://groups.google.com/d/optout.
