|
(************************************************************************)
(* * The Coq Proof Assistant / The Coq Development Team *)
(* v * INRIA, CNRS and contributors - Copyright 1999-2018 *)
(* <O___,, * (see CREDITS file for the list of authors) *)
(* \VV/ **************************************************************)
(* // * This file is distributed under the terms of the *)
(* * GNU Lesser General Public License Version 2.1 *)
(* * (see LICENSE file for the text of the license) *)
(************************************************************************)
module Proposals : sig type t end
class type complete_model_signals =
object ('a)
method after : 'a
method disconnect : GtkSignal.id -> unit
method start_completion : callback:(int -> unit) -> GtkSignal.id
method update_completion : callback:(int * string * Proposals.t -> unit) -> GtkSignal.id
method end_completion : callback:(unit -> unit) -> GtkSignal.id
end
class complete_model : Coq.coqtop -> GText.buffer ->
object
method active : bool
method connect : complete_model_signals
method set_active : bool -> unit
method store : GTree.model_filter
method column : string GTree.column
method handle_proposal : Gtk.tree_path -> unit
end
class complete_popup : complete_model -> GText.view ->
object
method coerce : GObj.widget
method proposal : string option
end
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
