[gui.gl] improve compatibility
[gui.gl] improve compatibility

This change fixed redering of the ColorBarWidget under Windows 8.1.

michaellaier/pymor,michaellaier/pymor,michaellaier/pymor,michaellaier/pymor