diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bin/mt-webface.rs | 2 |
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)), |