Commit 8e8e493d authored by MARCHE Claude's avatar MARCHE Claude

restored the switch to proper tab on parsing/typing errors

parent 41f261a1
......@@ -791,7 +791,7 @@ let task_view =
(* Creating a page for source code view *)
let create_source_view =
(* Counter for pages *)
let n = ref 4 in
let n = ref 1 in
(* Create a page with tabname [f] and buffer equal to [content] in the
notebook. Also add a corresponding page in source_view_table. *)
let create_source_view f content =
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