The GTK branch lags a bit behind the master and v4.5.x branches, which means that there will be some options saved in a settings file made by the latter versions that it does not know yet. So you would have to delete an existing .xboardrc file in your home directory before you can run the GTK version to avoid this error.
_______________________________________________ Bug-XBoard mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-xboard
