#648416 jumpnbump: bad resolution for gnome when quitting jumpnbump

Package:
jumpnbump
Source:
jumpnbump
Description:
cute multiplayer platform game with bunnies
Submitter:
Stéphane Blondon
Date:
2011-11-11 12:22:55 UTC
Severity:
important
#648416#5
Date:
2011-11-11 12:19:56 UTC
From:
To:
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]