package lablgtk3

You can search for identifiers within the package.

in-package search v0.2.0

OCaml interface to GTK+3

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (15)

Authors

Jacques Garrigue

Maintainers

G

garrigue@math.nagoya-u.ac.jp

Sources

lablgtk3-3.0.beta8.tbz

sha256=c6348c8b0e49722413bb56d9e401ecf0da08be0bc8cf34a967ca2c878e58f504

sha512=e130ae170c686fc04d58b7a843a18dee7ffd7be0108e8bdd9718f4cac347c78b4e5fdc80f110403aa19ef10052655ffdbbe89df472996d18a058ecb24c7dedd7

doc/lablgtk3/GAssistant/class-assistant/index.html

Class `GAssistant.assistant`

Toplevel widget which can contain other widgets in different pages @gtkdoc gtk GtkAssistant

inherit GWindow.window_skel

val obj : 'a Gtk.obj

method connect : assistant_signals

method set_current_page : int -> unit

method add_action_widget : Gtk.widget Gtk.obj -> unit

method append_page : ?page_type:GtkEnums.assistant_page_type ->
  ?title:string ->
  ?header_image:GdkPixbuf.pixbuf ->
  ?side_image:GdkPixbuf.pixbuf ->
  ?complete:bool ->
  Gtk.widget Gtk.obj ->
  int

method current_page : int

method insert_page : ?page_type:GtkEnums.assistant_page_type ->
  ?title:string ->
  ?header_image:GdkPixbuf.pixbuf ->
  ?side_image:GdkPixbuf.pixbuf ->
  ?complete:bool ->
  position:int ->
  Gtk.widget Gtk.obj ->
  int

method n_pages : int

method nth_page : int -> Gtk.widget Gtk.obj

method page_complete : Gtk.widget Gtk.obj -> bool

method page_header_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf

method page_side_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf

method page_title : Gtk.widget Gtk.obj -> string

method page_type : Gtk.widget Gtk.obj -> GtkEnums.assistant_page_type

method prepend_page : ?page_type:GtkEnums.assistant_page_type ->
  ?title:string ->
  ?header_image:GdkPixbuf.pixbuf ->
  ?side_image:GdkPixbuf.pixbuf ->
  ?complete:bool ->
  Gtk.widget Gtk.obj ->
  int

method remove_action_widget : Gtk.widget Gtk.obj -> unit

method set_page_complete : Gtk.widget Gtk.obj -> bool -> unit

method set_page_header_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf -> unit

method set_page_side_image : Gtk.widget Gtk.obj -> GdkPixbuf.pixbuf -> unit

method set_page_title : Gtk.widget Gtk.obj -> string -> unit

method set_page_type : Gtk.widget Gtk.obj ->
  GtkEnums.assistant_page_type ->
  unit

method update_buttons_state : unit