Hi, I'm not able to save the preferences that I just changed. I use: space+dots(12358) Then brltty says: not saved
Adrian
--
Adri P. van Bloois
It's never too late for early music!!!
_______________________________________________
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
