From 39dde794e17fd91c3163d995d7a1bd0669e16653 Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Tue, 9 Jul 2013 14:41:19 +0200 Subject: [PATCH] Not allowing focus on the ocaml pane Closes #31 --- src/gui.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/gui.ml b/src/gui.ml index 35c7520..81e2b16 100644 --- a/src/gui.ml +++ b/src/gui.ml @@ -256,6 +256,7 @@ let open_toplevel_view top_buf = view#misc#modify_font_by_name !Cfg.font; toplevel_view#add (view :> GObj.widget); view#misc#set_size_request ~width:578 (); + view#misc#set_can_focus false; view let set_font str =