Hi, Dave Mielke (2019/09/23 08:40 -0400): > That leaves us with a decision. We have three choices: > > 1) The way it is now. Use the replacement character if it's defined, else use > all eight dots. > > 2) Use the reaplcement character if defined, else do a text table looukp. > > 3) Skip the replacement character and just do a text table lookup. > > Will one of these do or should we add a (probably rarely used) new selector > for > it?
Wouldn't one other possibility be to use the Unicode description of the character? I am thinking for instance about smileys here. What od you think? Shérab. _______________________________________________ This message was sent via the BRLTTY mailing list. To post a message, send an e-mail to: [email protected] For general information, go to: http://brltty.app/mailman/listinfo/brltty
