X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.mli;h=d116c527d8f9077d2197999ae22b1094c69c44d0;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0c380ad60a94ac018577df4441192e51f4ec2e7d;hpb=e7bcb20821caa3e03bf1b77a7e9f329aeaacab07;p=helm.git diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli index 0c380ad60..d116c527d 100644 --- a/helm/DEVEL/lablgtkmathview/gMathView.mli +++ b/helm/DEVEL/lablgtkmathview/gMathView.mli @@ -1,81 +1,86 @@ -(* Copyright (C) 2000, Luca Padovani . +(* Copyright (C) 2000-2005, + * Luca Padovani + * Claudio Sacerdoti Coen + * Stefano Zacchiroli * - * This file is part of lablgtkmathview, the Ocaml binding - * for the GtkMathView widget. + * This file is part of lablgtkmathview, the Ocaml binding for the + * GtkMathView widget. * * lablgtkmathview is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. + * modify it under the terms of the GNU General Public License as + * published by the Free Software Foundation; either version 2 of the + * License, or (at your option) any later version. * * lablgtkmathview is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * General Public License for more details. * * You should have received a copy of the GNU General Public License * along with lablgtkmathview; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA + * 02111-1307, USA. * - * For details, send a mail to the author. + * For details, send a mail to the authors. *) exception ErrorLoadingFile of string exception ErrorWritingFile of string exception ErrorLoadingDOM -exception NoSelection class math_view_signals : - ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj -> + ([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj -> object ('a) - inherit GContainer.container_signals + inherit GObj.widget_signals + val after: bool val obj: 'b Gtk.obj - method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id - method element_changed : - callback:(Gdome.element option -> unit) -> GtkSignal.id - method press_move : - callback:(Gdome.element option -> Gdome.element option -> unit) -> GtkSignal.id + method click : + callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id + method element_over : + callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id + method select_begin : + callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id + method select_over : + callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id + method select_end : + callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id + method select_abort : + callback:(unit -> unit) -> GtkSignal.id end class math_view_skel : (Gtk_mathview.math_view Gtk.obj as 'a)-> object - inherit GContainer.container + inherit GObj.widget + val obj : 'a + method attribute_changed : Gdome.element -> name:Gdome.domString -> unit + method event : GObj.event_ops method freeze : unit - method thaw : unit - method export_to_postscript : - ?width:int -> - ?height:int -> - ?x_margin:int -> - ?y_margin:int -> - ?disable_colors:bool -> filename:string -> unit -> unit - method get_anti_aliasing : bool + method get_adjustments : GData.adjustment * GData.adjustment + method get_bounding_box : int * int * int method get_buffer : Gdk.pixmap - method get_font_manager_type : [ `font_manager_gtk | `font_manager_t1] + method get_document : Gdome.document option + method get_element_at : int -> int -> Gdome.element option (* x, y *) method get_font_size : int - method get_frame : GBin.frame - method get_hadjustment : GData.adjustment - method get_height : int method get_log_verbosity : int + method get_size : int * int + method get_t1_anti_aliased_mode : bool + method get_t1_opaque_mode : bool method get_top : int * int - method get_transparency : bool - method get_vadjustment : GData.adjustment - method get_width : int + method is_selected : Gdome.element -> bool + method load_root : root:Gdome.element -> unit method load_uri : filename:string -> unit - method load_doc : dom:Gdome.document -> unit + method select : Gdome.element -> unit method set_adjustments : GData.adjustment -> GData.adjustment -> unit - method set_anti_aliasing : bool -> unit - method set_font_manager_type : - fm_type:[ `font_manager_gtk | `font_manager_t1] -> unit method set_font_size : int -> unit method set_log_verbosity : int -> unit - method select : Gdome.element -> unit - method unselect : Gdome.element -> unit - method is_selected : Gdome.element -> bool method set_top : int -> int -> unit - method set_transparency : bool -> unit + method set_t1_anti_aliased_mode : bool -> unit + method set_t1_opaque_mode : bool -> unit + method structure_changed : Gdome.element -> unit + method thaw : unit method unload : unit - val obj : 'a + method unselect : Gdome.element -> unit end class math_view : @@ -86,11 +91,18 @@ class math_view : end val math_view : - ?adjustmenth:GData.adjustment -> - ?adjustmentv:GData.adjustment -> + ?hadjustment:GData.adjustment -> + ?vadjustment:GData.adjustment -> ?font_size:int -> - ?font_manager:[ `font_manager_gtk | `font_manager_t1] -> - ?border_width:int -> + ?log_verbosity:int -> ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> math_view + +(** {2 Global configuration for all math_view instances *) + + (** @param fname file name to be added to the list of configuration files read + * at initialization time. + * To be invoked before GTK initialization. *) +val add_configuration_path: string -> unit +