Change behavior when copying parameters

goblint · Jul 13, 2023 · 4588ee6 · 4588ee6
1 parent 0c0bed9
commit 4588ee6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ui/panel/ParameterView.re b/src/ui/panel/ParameterView.re
@@ -135,7 +135,7 @@ let make = (~goblint_path, ~inputValue, ~setInputValue, ~disableRun, ~setDisable
             | Some(p) => {
                 let resolved_parameter = Js.to_string(p);
                 if (String.length(inputValue) > 0) {
-                    resolved_parameter ++ " "
+                    " " ++ resolved_parameter
                 } else {
                     resolved_parameter
                 }
@@ -144,7 +144,7 @@ let make = (~goblint_path, ~inputValue, ~setInputValue, ~disableRun, ~setDisable
         };
 
         setInputValue(inputVal => {
-            let new_inputVal = String.cat(parameter, inputVal);
+            let new_inputVal = String.cat(inputVal, parameter);
             new_inputVal
         });
     }