otherlibs/labltk/browser/mytypes.mli


1
2
3
4
5
6
7
8
9
10
11
12
13
14

(* $Id$ *)

open Widget

type edit_window =
  { mutable name: string;
    tw: text widget;
    frame: frame widget;
    modified: Textvariable.textVariable;
    mutable shell: (string * Shell.shell) option;
    mutable structure: Typedtree.structure;
    mutable signature: Types.signature;
    mutable psignature: Parsetree.signature;
    number: string }