Display information about an application.
Starts spell checking on the GtkTextView.
Build a menu from a tree description
copy the contents of the region to a string
A button to launch a color selection dialog
A convenience function.
A convenience function for creating simple GEdit.combo_box.
GEdit.combo_box
You may use stop_emit inside the callback
stop_emit
Connect to the "notify::foo" signal associated with a property.
Setup the given shortcut spec list for the given window and callback.
Unsafe: use stop_emit instead.
A button to launch a font selection dialog
from_unichar 0xiii converts a code point iii (usually in hexadecimal form) into a string containing the UTF-8 encoded character 0xiii.
from_unichar 0xiii
iii
0xiii
the start address of the region
Obtains the character set for the current locale.
May raise Gpointer.Null
May return GDK_CURRENT_TIME
A widget which displays a list of icons in a grid
init also sets the locale and returns its name.
init
Make the user type in a string.
Make the user type in a text.
the length of the region
Converts the input string from UTF-8 to the encoding of the current locale.
UTF-8
main runs the main loop, until quit is called.
main
quit
This function is used to display a message in a dialog box with just an Ok button.
Popup a menu created from the given list of labels and functions.
A nice function to use with #install_printer
#install_printer
This function is used to display a question in a dialog box, with a parametrized list of buttons.
quit the main loop
create a region sharing a bigarray
create a region sharing a string
Safe wrapper for function calls.
make the allocation of custom blocks contribute more or less to the GC cycle.
Call stop_emit () in a callback to prohibit further handling of the current signal invocation, by calling emit_stop_by_name.
stop_emit ()
emit_stop_by_name
Convenience function to map a caml list into a GTree.list_store with a single column
GTree.list_store
subregion of length len starting at offset pos
len
pos
to_unichar decodes an UTF-8 encoded code point.
to_unichar
to_unichar_validated decodes an UTF-8 encoded code point and checks for incomplete characters, invalid characters and overlong encodings.
to_unichar_validated
to_unistring decodes an UTF-8 encoded string into an array of unichar.
to_unistring
unichar
return the toplevel window of this widget, if existing
unsafe_create_region ~path ~get_length returns a function to build regions from a specific kind of data abstraction
unsafe_create_region ~path ~get_length
A hook to allow changing the behaviour of exceptions in callbacks The default behaviour of printing the exception and ignoring it is obtained when user_handler is set to Pervasives.raise
user_handler
Pervasives.raise
If you read an UTF-8 string from somewhere, you should validate it, or risk random segmentation faults
major, minor, micro