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 _______________________________________________ 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
