Quelle wg_Detachable.mli Sprache: SML

(************************************************************************)
(*         *      The Rocq Prover / The Rocq Development Team           *)
(*  v      *         Copyright INRIA, CNRS and contributors             *)
(* <O___,, * (see version control and CREDITS file for authors & dates) *)
(*   \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)         *)
(************************************************************************)

class detachable_signals =
  object
    inherit GContainer.container_signals
    method attached : callback:
    . ->unit ->unit
  end

class detachable : ([> Gtk.box] as 'a) Gobject.obj ->
  object
    inherit GPack.box_skel
    val obj : Gtk.box Gobject.obj
    method connect : detachable_signals
    method child : GObj.widget
    method show : unit
    method hide : unit
    method visible : bool
    method title : string
    method set_title : string -> unit
    method button : GButton.button
    method close_button : GButton.button
    method win : GWindow.window
    method frame : GBin.frame
    method detach : unit -> unit
    method attach : unit -> unit
  end

val detachable :
  ?title:string ->
  ?homogeneous:bool ->
  ?spacing:int ->
  ?border_width:int ->
  ?width:int ->
  ?height:int ->
  ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> detachable

quality96%

¤ Dauer der Verarbeitung: 0.7 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.