[basex-talk] Changing BaseX GUI preferences is not restored after restart