|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* OCaml LablTk library *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file ../../../LICENSE. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* $Id$ *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* Module viewer *)
|
|
Packit |
bd2e5d |
open Widget
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val search_symbol : unit -> unit
|
|
Packit |
bd2e5d |
(* search a symbol in all modules in the path *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val f : ?dir:string -> ?on:toplevel widget -> unit -> unit
|
|
Packit |
bd2e5d |
(* open then module viewer *)
|
|
Packit |
bd2e5d |
val st_viewer : ?dir:string -> ?on:toplevel widget -> unit -> unit
|
|
Packit |
bd2e5d |
(* one-box viewer *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val view_defined : env:Env.t -> ?show_all:bool -> Longident.t -> unit
|
|
Packit |
bd2e5d |
(* displays a signature, found in environment *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val close_all_views : unit -> unit
|