@TiddlyTweeter, > IF possible *emulation of extant keyboard designs would be good*. AltGr & > AltGr+Shift would allow that. > > Of course there is also great option to add a line for items normally > under AltGr that could have normal Shift, rather than anything special. > > *In design terms* on-screen keyboards have a flex physical ones don't. > And being able to customise for ones actual usage is brilliant. But > matching a physical keyboard a user already understands, however > cumbersome, has merit. > > I agree with you!
About the *fonts*: As I understand it, the standard fonts list in TiddlyWiki covers some of the most commonly used fonts. So every user should already have at least one of them installed on its system (knowing or not) so that characters get rendered without having to include a font into a TiddlyWiki html file. The font-stylesheets inside tiddlywiki are for fonts one wants to provide to users that possibly don't have them on their computers. Like Fontawesome, material icons, special emojis, or just some less-used fonttypes. As far as I know, TW doesn't come with integrated fonts but I could be wrong. ------- for creating a keyboard layout that uses special characters the solution would be one of two: a) searching a font and include it in a stylesheet that users need to drag to their wikies b) adding informations about which font to install on their system to be able to render the characters I would prefer b) if I'm the user - it keeps the file small - fonts are heavy BTC -- 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/cd605943-781f-4677-99f7-92b11eed2038%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
