get-double-buffered in gl-config%

Reports whether the configuration requests double buffering or not.

• (send a-gl-config get-double-buffered) -> boolean