[quoted lines by Eric Scheibler on 2012/08/01 at 00:48 +0200] >What about a entry in the options menu? Default is "not saving" like now and >if the save function is set, the markers were saved like they actually were >defined (in all the consoles). So for the majority of the users the change >would have no effect.
Yes, that could be done. Another approach could be to add a third command called SAVEMARK. This would allow specific marks to be saved. The disadvantage of this approach, of course, is that it'd require a new binding for each device. Maybe a keyboard-only solution for this would be sufficient. -- Dave Mielke | 2213 Fox Crescent | The Bible is the very Word of God. Phone: 1-613-726-0014 | Ottawa, Ontario | 2011 May 21 is the End of Salvation. EMail: [email protected] | Canada K2A 1H7 | http://Mielke.cc/now.html http://FamilyRadio.com/ | http://Mielke.cc/bible/ _______________________________________________ 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
