From 65812bd0e4461377d9481bb4cd8336047077a171 Mon Sep 17 00:00:00 2001
From: kgv <kgv@opencascade.com>
Date: Thu, 3 Apr 2014 14:56:54 +0400
Subject: [PATCH] 0024791: Visualization - highlighting is not cleared in local
 selection on some OpenGL drivers

Force GL commands execution by glFlush().
---
 src/OpenGl/OpenGl_Workspace.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/OpenGl/OpenGl_Workspace.cxx b/src/OpenGl/OpenGl_Workspace.cxx
index 540c1e261f..1916a7acfb 100644
--- a/src/OpenGl/OpenGl_Workspace.cxx
+++ b/src/OpenGl/OpenGl_Workspace.cxx
@@ -771,6 +771,7 @@ void OpenGl_Workspace::RedrawImmediate (const Graphic3d_CView& theCView,
      && isDoubleBuffer)
     {
       copyBackToFront();
+      glFlush();
     }
     else
     {