-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I intentionally disabled persistence of the -inc option by forcing its
value to -1 in the last line of the xboard.conf master settings file. This
was motivated by the fact that a saved -inc value >= 0 would cause the -mps
option to be ignored, even when the latter is explicitly specified on the
command line. By resetting -inc on every start, at least all options will
be obeyed from the command line, as they used to be before settings were
saved. It seemed preferable to have a slight annoyance over a problem that
users probably would never figure out.
