Commit 36b6a0e4 authored by Sylvain Dailler's avatar Sylvain Dailler

ide - fix #293 give the focus on new tabs that are added to the ide

parent fb3da6dc
......@@ -721,7 +721,9 @@ let create_source_view =
(* We have to create the tags for background colors for each view.
They are not reusable from the other views. *)
create_colors source_view;
Gconfig.set_fonts ()
Gconfig.set_fonts ();
(* Focusing on the tabs that was just added *)
notebook#goto_page (!n - 1)
end in
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