diff options
| author | No author <no_author@ocaml.org> | 2003-12-01 00:27:30 +0000 |
|---|---|---|
| committer | No author <no_author@ocaml.org> | 2003-12-01 00:27:30 +0000 |
| commit | bbc1c339f4b0de238e8024fb632ecb30bcc686de (patch) | |
| tree | 0615819bbabbe4ae4195a43751c5f892199e9527 /otherlibs/labltk/frx/frx_fit.mli | |
| parent | e0d554119941c6fd0852feee85681bd3e5feb1ad (diff) | |
| download | ocaml-bbc1c339f4b0de238e8024fb632ecb30bcc686de.tar.gz | |
This commit was manufactured by cvs2svn to create branch 'newoolab'.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/newoolab@5988 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/frx/frx_fit.mli')
| -rw-r--r-- | otherlibs/labltk/frx/frx_fit.mli | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/otherlibs/labltk/frx/frx_fit.mli b/otherlibs/labltk/frx/frx_fit.mli deleted file mode 100644 index 29479d8013..0000000000 --- a/otherlibs/labltk/frx/frx_fit.mli +++ /dev/null @@ -1,29 +0,0 @@ -(***********************************************************************) -(* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) -(* *) -(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) -(* projet Cristal, INRIA Rocquencourt *) -(* Jacques Garrigue, Kyoto University RIMS *) -(* *) -(* Copyright 2002 Institut National de Recherche en Informatique et *) -(* en Automatique and Kyoto University. All rights reserved. *) -(* This file is distributed under the terms of the GNU Library *) -(* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) -(* *) -(***********************************************************************) -open Camltk -open Widget - -val debug: bool ref -val vert: widget -> (float -> float -> unit) * (unit -> unit) - -(* [vert widget] - can be applied to a text widget so that it expands to show its full - contents. Returns [scroll] and [check]. [scroll] must be used as - the YScrollCommand of the widget. [check] can be called when some - modification occurs in the content of the widget (such as a size change - in some embedded windows. - This feature is a terrible hack and should be used with extreme caution. - *) |