diff options
Diffstat (limited to 'otherlibs/labltk/browser/editor.ml')
| -rw-r--r-- | otherlibs/labltk/browser/editor.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index 3955f4ba4..ceadef8f7 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -598,7 +598,7 @@ class editor ~top ~menus = object (self) Env.add_module (Ident.create modname) (Types.Tmty_signature txt.signature) Env.initial - in Viewer.view_defined (Longident.Lident modname) ~env + in Viewer.view_defined (Longident.Lident modname) ~env ~show_all:true end; (* Modules *) |