[gui.gl] improve compatibility

This change fixed redering of the ColorBarWidget under Windows 8.1.
pymor · Jan 20, 2015 · bf41ac9 · bf41ac9
1 parent 8882105
commit bf41ac9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/pymor/gui/gl.py b/src/pymor/gui/gl.py
@@ -246,7 +246,8 @@ def set(self, U=None, vmin=None, vmax=None):
             self.setMinimumSize(max(self.vmin_width, self.vmax_width) + 20, 300)
             self.update()
 
-        def paintGL(self):
+        def paintEvent(self, event):
+            self.makeCurrent()
             gl.glClear(gl.GL_COLOR_BUFFER_BIT | gl.GL_DEPTH_BUFFER_BIT)
             gl.glUseProgram(self.shaders_program)