I think that we can safely get rid of the old preferences because, currently, preferences only contain :
- The size of the board (small, medium or large) - the game type (normal or against clock) so, the only thing that will happen is that some user will see the size of the board resetted to "medium" instead of large and small and the game type will be reset to "normal". I think adding backward compatibility code for such a little thing is too much overhead for no real gain : reseting the option is a matter of second. Also, a warning could be provided in the release note. If you don't agree then some code should be added that check for old config files but, unless we change the config file format to XML, it will become quickly unmaintenable if we add more options later. -- Get rid of .gweled file and follow fd.o specifications https://bugs.launchpad.net/bugs/201509 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
