detach
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
02e147969c
commit
ae299a22b2
|
@ -328,7 +328,7 @@ let rec view_signature ?title ?path ?(env = !start_env) ?(detach=false) sign =
|
|||
try match path, !default_frame with
|
||||
None, Some ({mw_title=Some label} as mw) when not detach ->
|
||||
Button.configure mw.mw_detach
|
||||
~command:(fun () -> view_signature sign ~title ~env);
|
||||
~command:(fun () -> view_signature sign ~title ~env ~detach:true);
|
||||
pack [mw.mw_detach] ~side:`Left;
|
||||
Pack.forget [mw.mw_edit; mw.mw_intf];
|
||||
List.iter ~f:destroy (Winfo.children mw.mw_frame);
|
||||
|
|
Loading…
Reference in New Issue