From 637813874665e76cfe37555482a7e834c0be370f Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Mon, 18 Jun 2018 14:27:00 -0400
Subject: [PATCH] Rename the "Prove" button to "Examine" when in flow mode

---
 compile_server/app/static/editors.js | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/compile_server/app/static/editors.js b/compile_server/app/static/editors.js
index bbf893a..936c3e6 100644
--- a/compile_server/app/static/editors.js
+++ b/compile_server/app/static/editors.js
@@ -522,7 +522,14 @@ function fill_editor_from_contents(container, example_name, example_server,
    }
 
    if (container.attr("prove_button")){
-      var check_button = $('<button type="button" class="btn btn-primary">').text("Prove").appendTo(buttons_div)
+      var the_text = "Prove";
+
+      // Special case to call the button "Examine" in flow mode
+      if (container.attr("extra_args") == "spark-flow"){
+          var the_text = "Examine";
+      }
+
+      var check_button = $('<button type="button" class="btn btn-primary">').text(the_text).appendTo(buttons_div)
       check_button.editors = editors;
       check_button.on('click', function (x) {
           output_area.empty();