On 1/1/21 1:06 PM, Dave Mielke wrote:
If a table is specified both as a saved preference and in brltty.conf
then
which selection should win? I suppose the preference should win, but users
would then wonder why changing it in brltty.conf has no effect.
I agree this is a problem. Would the following type of solution (with
modifications as you wish) work?
1. Define defaults for the tables in BRLTTY itself (if not already done).
2. If a non-default table is specified in brltty.conf, it takes
precedence over anything in Preferences, and a warning is issued to the
system log.
3. Obviously, a non-default table in Preferences is honoured if not
overridden in brltty.conf.
I'm not taking a stance here on what is the correct policy, just
proposing a starting point.
_______________________________________________
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
