Commit 79f53fcf authored by DAILLER Sylvain's avatar DAILLER Sylvain

Merge branch 'issue_293' into 'master'

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

Closes #293

See merge request !115
parents b716fe3f 36b6a0e4
......@@ -726,7 +726,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
create_source_view
......
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