ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Rename the "Prove" button to "Examine" when in flow mode

Browse Source
This commit is contained in:
Nicolas Setton
2018-06-18 14:27:00 -04:00
parent e3b31ba99f
commit 6378138746
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
compile_server/app/static/editors.js
View File

@@ -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();