From cd289b31f68023d8b4127cc590bee67c3a497f8f Mon Sep 17 00:00:00 2001
From: baigner <benedikt.aigner@rwth-aachen.de>
Date: Fri, 7 Sep 2018 13:12:18 +0200
Subject: [PATCH] Fixed vistoms bug with marking variables as constraints

Former-commit-id: 6fe66dd3ec260dea956c20881695ed572db60f6d
---
 kadmos/vistoms/templates/VISTOMS.html | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/kadmos/vistoms/templates/VISTOMS.html b/kadmos/vistoms/templates/VISTOMS.html
index f446edae8..535836523 100644
--- a/kadmos/vistoms/templates/VISTOMS.html
+++ b/kadmos/vistoms/templates/VISTOMS.html
@@ -19267,7 +19267,14 @@
 							title: 'Marking variable as ' + theVariableData.variableType,
 							message:"<form id='infos' action=''>"
 									+"\Nominal Value: <input type='text' id='nominalValue' name='nominalValue' /><br/>"
-									+"\Mathematical operator (<, <=, = ,>=, >):   <input type='text' id='operator' name='operator' />\</form>", 
+									+"\Mathematical operator (<, <=, = ,>=, >):   "
+                                    +"<select id='operator' name='operator'>"
+                                    +"<option value='<'><</option>"
+                                    +"<option value='<='><=</option>"
+                                    +"<option value='=='>==</option>"
+                                    +"<option value='>='>>=</option>"
+                                    +"<option value='>'>></option>"
+                                    +"</select>\</form>", 
 							callback: function(result){
 									if(result){
 										theVariableData.nominalValue = $('#nominalValue').submit()[0].value;
@@ -19275,7 +19282,7 @@
                                                                                 
                                         if(theVariableData.operator != "<" 
                                            && theVariableData.operator != "<=" 
-                                           && theVariableData.operator != "=" 
+                                           && theVariableData.operator != "==" 
                                            && theVariableData.operator != ">=" 
                                            && theVariableData.operator != ">")                                           
                                         {
-- 
GitLab