diff --git a/Fltk/FlGui.cpp b/Fltk/FlGui.cpp
index 93b150bc5982bfaccca218a01688958bcbfe8306..cc84222fda1e4d070c24d174ba51df72c24f887a 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