From d4e1b1f2149827808fd0290d5bf39c5777d7d5e2 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 29 Jan 2013 14:34:28 +0000
Subject: [PATCH] reset line style

---
 Fltk/FlGui.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Fltk/FlGui.cpp b/Fltk/FlGui.cpp
index 93b150bc59..cc84222fda 100644
--- a/Fltk/FlGui.cpp
+++ b/Fltk/FlGui.cpp
@@ -195,6 +195,7 @@ static void gmsh_search(Fl_Color col)
   fl_end_polygon();
   fl_line_style(FL_SOLID, 2, 0);
   fl_begin_loop(); fl_circle(.2-eps, -.2+eps, .6); fl_end_loop();
+  fl_line_style(FL_SOLID);
 }
 
 #undef vv
-- 
GitLab