Bug#720548: xboard: does not store time settings in configuration file

[folkert]

Package: xboard
Version: 4.6.2-1
Severity: normal

I always set time management to x seconds per move.
Then I click on save settings.
But after an xboard restart the settings are reset to the defaults.


-- System Information:
Debian Release: 7.0
  APT prefers stable
  APT policy: (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.9-1-amd64 (SMP w/12 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages xboard depends on:
ii  dpkg                    1.16.9           Debian package management system
ii  libc6                   2.17-3           Embedded GNU C Library: Shared lib
ii  libice6                 2:1.0.8-2        X11 Inter-Client Exchange library
ii  libsm6                  2:1.2.1-2        X11 Session Management library
ii  libx11-6                2:1.5.0-1+deb7u1 X11 client-side library
ii  libxaw7                 2:1.0.10-2       X11 Athena Widget library
ii  libxmu6                 2:1.1.1-1        X11 miscellaneous utility library
ii  libxpm4                 1:3.5.10-1       X11 pixmap library
ii  libxt6                  1:1.1.3-1+deb7u1 X11 toolkit intrinsics library

Versions of packages xboard recommends:
ii  fairymax                      4.8q-2     xboard compatible chess and chess-
ii  xfonts-100dpi                 1:1.0.3    100 dpi fonts for X
ii  xfonts-75dpi                  1:1.0.3    75 dpi fonts for X

Versions of packages xboard suggests:
ii  gnome-terminal [x-terminal-em 3.4.1.1-2  GNOME terminal emulator applicatio
ii  xterm [x-terminal-emulator]   278-4      X terminal emulator

-- no debconf information