[quoted lines by Jason White on 2013/04/08 at 10:41 +1000] >My priority list would be the same as Lee's above, except that I would insert >"brltty.conf settings" immediately after "saved preferences".
I more or less actually agree, but it doesn't tackle the question about confusion between the two. It kind of makes the brltty.conf table settings irrelevant, and also breaks the distinction that brltty.conf is related to command line otoins whereas saved preferences aren't. Perhaps we need to only start saving preferences which the user has actually changed. If we do that, of course, we may also then need a way to unsave a preference. -- Dave Mielke | 2213 Fox Crescent | The Bible is the very Word of God. Phone: 1-613-726-0014 | Ottawa, Ontario | http://Mielke.cc/bible/ EMail: [email protected] | Canada K2A 1H7 | http://FamilyRadio.com/ _______________________________________________ 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://mielke.cc/mailman/listinfo/brltty
