aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/bin/mt-webface.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bin/mt-webface.rs b/src/bin/mt-webface.rs
index b9e3cad..b26e4fe 100644
--- a/src/bin/mt-webface.rs
+++ b/src/bin/mt-webface.rs
@@ -88,6 +88,8 @@ fn model_view(r: &mut Request) -> PencilResult {
context.insert("latex".to_string(), me.ast.repr_latex().unwrap());
context.insert("editable".to_string(),
if namespace == "sandbox" { "true".to_string() } else { "".to_string() });
+ context.insert("computable".to_string(),
+ if me.ast.transpile_scheme().is_ok() { "true".to_string() } else { "".to_string() });
r.app.render_template("model_view.html", &context)
},
Err(_) => Err(PencilError::PenHTTPError(pencil::HTTPError::NotFound)),