Bug#648416: jumpnbump: bad resolution for gnome when quitting jumpnbump

[Stéphane Blondon]

Package: jumpnbump
Version: 1.50+dfsg1-3
Severity: important

The problem appears when using 'jumpnbump -fullscreen'.

When I quit the game, GNOME use the jumpnbump resolution and not the
right resolution (the gnome previous one).

This is what I get when I execute jumpnbump in a console :
$ jumpnbump -fullscreen
Opened audio at 44100Hz 16bit stereo, 2048 bytes audio buffer
X Error of failed request:  BadValue (integer parameter out of range for
operation)
  Major opcode of failed request:  129 (XFree86-VidModeExtension)
    Minor opcode of failed request:  10 (XF86VidModeSwitchToMode)
      Value in failed request:  0x3600003
        Serial number of failed request:  170
          Current serial number in output stream:  172


There are no proprietary drivers on the system.
Gnome : 3.0.2
Driver : Software Rasterizer

The graphic card is an ATI radeon HD 4200 :
# lspci
[...]
01:05.0 VGA compatible controller: ATI Technologies Inc RS880 [Radeon HD 4200]




-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.0.0-1-amd64 (SMP w/1 CPU core)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages jumpnbump depends on:
ii  imagemagick      8:6.6.9.7-5+b1
ii  libc6            2.13-21
ii  libsdl-mixer1.2  1.2.8-6.4
ii  libsdl-net1.2    1.2.7-2
ii  libsdl1.2debian  1.2.14-6.4
ii  python           2.7.2-9
ii  python-glade2    2.24.0-2
ii  python-gtk2      2.24.0-2

jumpnbump recommends no packages.

Versions of packages jumpnbump suggests:
ii  jumpnbump-levels  20091107

-- no debconf information

-- 
Stéphane