[glob2-devel] Major GUI structural change

[Stephane Magnenat]

Hello,

To ease the creation of accelerated backends, I've removed the GUI 
optimisation that drew only the modified part of the screen at a time. Now 
double buffering works better. To prevent user sadness because of the 
slowdown (but the GUI is still faster then the game), I've added a nice 
spline-based button highlighting effect.

Be happy, play glob2

Steph