[BRLTTY] Persistent marks.

[Nicolas Pitre]

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