diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_text.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_text.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_text.ml b/otherlibs/labltk/browser/jg_text.ml index 5a7023f63..067b9dac5 100644 --- a/otherlibs/labltk/browser/jg_text.ml +++ b/otherlibs/labltk/browser/jg_text.ml @@ -48,7 +48,7 @@ let goto_tag tw ~tag = let search_string tw = let tl = Jg_toplevel.titled "Search" in - Wm.transient_set tl ~master:Widget.default_toplevel; + Wm.transient_set tl ~master:(Winfo.toplevel tw); let fi = Frame.create tl and fd = Frame.create tl and fm = Frame.create tl |