[BRLTTY] What is the best way to deal with Unicode characters?
Nicolas Pitre
nico at fluxnic.net
Sat Sep 28 16:10:07 EDT 2019
On Sat, 28 Sep 2019, S. Massy wrote:
> This is beyond the scope of this thread but I sometimes feel like it's
> time to add two more dots to displays for a total of ten: this would
> give us more flexibility to keep up with new Unicode characters.
We may blink dots 7 and 8 for that. If, say, dot 7 blinks then this is
the equivalent of dot 9 being active. Same for dot 8 representing dot
10. And the time period may preserve the actual dot 7/8 state. For
example, if dot 7 is on 3/4 of the time and off 1/4 of the time, that
means dot 7 is normally set when not blinking. And if it is on 1/4 and
off 3/4 of the time then it is normally unset.
Nicolas
More information about the BRLTTY
mailing list