On Sat, 29 Sep 2012 20:18:15 +0200 "h.g. muller" <h.g.mul...@hccnet.nl> wrote:
h> I intentionally disabled persistence of the -inc option by forcing h> its value to -1 in the last line of the xboard.conf master settings h> file. This was motivated by the fact that a saved -inc value >= 0 h> would cause the -mps option to be ignored, even when the latter is h> explicitly specified on the command line. By resetting -inc on every h> start, at least all options will be obeyed from the command line, as h> they used to be before settings were saved. It seemed preferable to h> have a slight annoyance over a problem that users probably would h> never figure out. That may have been the best solution, but it should be documented. -- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png Rule 420: All persons more than eight miles high to leave the court. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org