On Fri, 7 Feb 2014, Dave Mielke wrote: > One way to do it would be to introduce a new command which would save all > currently defined marks to disk. Another way to do it would be to simply save > the marks as part of saving the preferences - in other words, to have the > already-existing PREFSAVE command save the marks.
Unless there is a serious downside to the later, that's what I'd favor for its simplicity. Nicolas _______________________________________________ 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
