Commit e50ea1fa authored by Andrei Paskevich's avatar Andrei Paskevich

trywhy3: no need for a separate theme for the task viewer

parent a89c05c4
......@@ -14,7 +14,6 @@
var load_embedded_files = false;
var editor_theme = "ace/theme/chrome";
var editor_mode = "ace/mode/why3";
var task_viewer_theme = "ace/theme/chrome";
var task_viewer_mode = "ace/mode/why3";
var library_index = "examples/index.txt";
</script>
......
......@@ -179,14 +179,13 @@ module Editor =
let () =
let editor_theme : Js.js_string Js.t = get_global "editor_theme" in
let editor_mode : Js.js_string Js.t = get_global "editor_mode" in
let task_viewer_theme : Js.js_string Js.t = get_global "task_viewer_theme" in
let task_viewer_mode : Js.js_string Js.t = get_global "task_viewer_mode" in
ignore (JSU.(meth_call editor "setTheme" [| inject editor_theme |]));
ignore (JSU.(meth_call (get_session editor) "setMode" [| inject editor_mode |]));
JSU.(set editor (Js.string "$blockScrolling") _Infinity);
ignore (JSU.(meth_call task_viewer "setTheme" [| inject task_viewer_theme |]));
ignore (JSU.(meth_call task_viewer "setTheme" [| inject editor_theme |]));
ignore (JSU.(meth_call (get_session task_viewer) "setMode" [| inject task_viewer_mode |]));
JSU.(set task_viewer (Js.string "$blockScrolling") _Infinity);
......
......@@ -106,7 +106,7 @@ module Task =
let clear_warnings () = warnings := []
let () =
Warning.set_hook (fun ?(loc=(Loc.user_position "" 1 0 0)) msg ->
let _, a,b,c = Loc.get loc in
let _, a,b,_c = Loc.get loc in
warnings := ((a-1,b), msg) :: !warnings)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment