[quoted lines by Eric Scheibler on 2013/12/21 at 19:09 +0100] >First option. SETMARK should remember the position and SETPERMANENTMARK does >the same and additionally >saves the value to disk. I don't want to press both key combinations one by >one if I want to make it >permanent.
Another alternative might be to just make all marks persistent. If we do that, should they be saved immediately, should they be only saved when the preferences are saved, or when? Also, would we then need a delete mark command? -- 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
