]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/contrib/otherlibs/labltk/browser/mytypes.mli
update
[l4.git] / l4 / pkg / ocaml / contrib / otherlibs / labltk / browser / mytypes.mli
1 (*************************************************************************)
2 (*                                                                       *)
3 (*                Objective Caml LablTk library                          *)
4 (*                                                                       *)
5 (*            Jacques Garrigue, Kyoto University RIMS                    *)
6 (*                                                                       *)
7 (*   Copyright 1999 Institut National de Recherche en Informatique et    *)
8 (*   en Automatique and Kyoto University.  All rights reserved.          *)
9 (*   This file is distributed under the terms of the GNU Library         *)
10 (*   General Public License, with the special exception on linking       *)
11 (*   described in file ../../../LICENSE.                                 *)
12 (*                                                                       *)
13 (*************************************************************************)
14
15 (* $Id: mytypes.mli 8232 2007-05-16 08:21:41Z doligez $ *)
16
17 open Widget
18
19 type edit_window =
20   { mutable name: string;
21     tw: text widget;
22     frame: frame widget;
23     modified: Textvariable.textVariable;
24     mutable shell: (string * Shell.shell) option;
25     mutable structure: Typedtree.structure;
26     mutable type_info: Stypes.annotation list;
27     mutable signature: Types.signature;
28     mutable psignature: Parsetree.signature;
29     number: string }