Double buffering is activated by default. It may be deactivated in the configuration file (see GPHIGS.def).
Double buffering is not emulated if no hardware double buffer is installed.
