From a54d1007976a75db4d1e8a4f1724dd9bb0066c21 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 9 Nov 2012 06:20:16 +0000
Subject: [PATCH] GmshSetOption now also changes the gui
---
Common/Gmsh.cpp | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/Common/Gmsh.cpp b/Common/Gmsh.cpp
index d0fdb45664..aa0d9f0a1e 100644
--- a/Common/Gmsh.cpp
+++ b/Common/Gmsh.cpp
@@ -89,17 +89,17 @@ int GmshSetBoundingBox(double xmin, double xmax,
int GmshSetOption(std::string category, std::string name, std::string value, int index)
{
- return StringOption(GMSH_SET, category.c_str(), index, name.c_str(), value);
+ return StringOption(GMSH_SET|GMSH_GUI, category.c_str(), index, name.c_str(), value);
}
int GmshSetOption(std::string category, std::string name, double value, int index)
{
- return NumberOption(GMSH_SET, category.c_str(), index, name.c_str(), value);
+ return NumberOption(GMSH_SET|GMSH_GUI, category.c_str(), index, name.c_str(), value);
}
int GmshSetOption(std::string category, std::string name, unsigned int value, int index)
{
- return ColorOption(GMSH_SET, category.c_str(), index, name.c_str(), value);
+ return ColorOption(GMSH_SET|GMSH_GUI, category.c_str(), index, name.c_str(), value);
}
int GmshGetOption(std::string category, std::string name, std::string &value, int index)
--
GitLab