type gtk_stock_id = [ | `ABOUT| `ADD| `APPLY| `BOLD| `CANCEL| `CAPS_LOCK_WARNING| `CDROM| `CLEAR| `CLOSE| `COLOR_PICKER| `CONNECT| `CONVERT| `COPY| `CUT| `DELETE| `DIALOG_AUTHENTICATION| `DIALOG_ERROR| `DIALOG_INFO| `DIALOG_QUESTION| `DIALOG_WARNING| `DIRECTORY| `DISCONNECT| `DND| `DND_MULTIPLE| `EDIT| `EXECUTE| `FILE| `FIND| `FIND_AND_REPLACE| `FLOPPY| `FULLSCREEN| `GOTO_BOTTOM| `GOTO_FIRST| `GOTO_LAST| `GOTO_TOP| `GO_BACK| `GO_DOWN| `GO_FORWARD| `GO_UP| `HARDDISK| `HELP| `HOME| `INDENT| `INDEX| `INFO| `ITALIC| `JUMP_TO| `JUSTIFY_CENTER| `JUSTIFY_FILL| `JUSTIFY_LEFT| `JUSTIFY_RIGHT| `LEAVE_FULLSCREEN| `MEDIA_FORWARD| `MEDIA_NEXT| `MEDIA_PAUSE| `MEDIA_PLAY| `MEDIA_PREVIOUS| `MEDIA_RECORD| `MEDIA_REWIND| `MEDIA_STOP| `MISSING_IMAGE| `NETWORK| `NEW| `NO| `OK| `OPEN| `ORIENTATION_LANDSCAPE| `ORIENTATION_PORTRAIT| `ORIENTATION_REVERSE_LANDSCAPE| `ORIENTATION_REVERSE_PORTRAIT| `PAGE_SETUP| `PASTE| `PREFERENCES| `PRINT| `PRINT_ERROR| `PRINT_PAUSED| `PRINT_PREVIEW| `PRINT_REPORT| `PRINT_WARNING| `PROPERTIES| `QUIT| `REDO| `REFRESH| `REMOVE| `REVERT_TO_SAVED| `SAVE| `SAVE_AS| `SELECT_ALL| `SELECT_COLOR| `SELECT_FONT| `SORT_ASCENDING| `SORT_DESCENDING| `SPELL_CHECK| `STOP| `STRIKETHROUGH| `UNDELETE| `UNDERLINE| `UNDO| `UNINDENT| `YES| `ZOOM_100| `ZOOM_FIT| `ZOOM_IN| `ZOOM_OUT ]type id = [ | `ABOUT| `ADD| `APPLY| `BOLD| `CANCEL| `CAPS_LOCK_WARNING| `CDROM| `CLEAR| `CLOSE| `COLOR_PICKER| `CONNECT| `CONVERT| `COPY| `CUT| `DELETE| `DIALOG_AUTHENTICATION| `DIALOG_ERROR| `DIALOG_INFO| `DIALOG_QUESTION| `DIALOG_WARNING| `DIRECTORY| `DISCONNECT| `DND| `DND_MULTIPLE| `EDIT| `EXECUTE| `FILE| `FIND| `FIND_AND_REPLACE| `FLOPPY| `FULLSCREEN| `GOTO_BOTTOM| `GOTO_FIRST| `GOTO_LAST| `GOTO_TOP| `GO_BACK| `GO_DOWN| `GO_FORWARD| `GO_UP| `HARDDISK| `HELP| `HOME| `INDENT| `INDEX| `INFO| `ITALIC| `JUMP_TO| `JUSTIFY_CENTER| `JUSTIFY_FILL| `JUSTIFY_LEFT| `JUSTIFY_RIGHT| `LEAVE_FULLSCREEN| `MEDIA_FORWARD| `MEDIA_NEXT| `MEDIA_PAUSE| `MEDIA_PLAY| `MEDIA_PREVIOUS| `MEDIA_RECORD| `MEDIA_REWIND| `MEDIA_STOP| `MISSING_IMAGE| `NETWORK| `NEW| `NO| `OK| `OPEN| `ORIENTATION_LANDSCAPE| `ORIENTATION_PORTRAIT| `ORIENTATION_REVERSE_LANDSCAPE| `ORIENTATION_REVERSE_PORTRAIT| `PAGE_SETUP| `PASTE| `PREFERENCES| `PRINT| `PRINT_ERROR| `PRINT_PAUSED| `PRINT_PREVIEW| `PRINT_REPORT| `PRINT_WARNING| `PROPERTIES| `QUIT| `REDO| `REFRESH| `REMOVE| `REVERT_TO_SAVED| `SAVE| `SAVE_AS| `SELECT_ALL| `SELECT_COLOR| `SELECT_FONT| `SORT_ASCENDING| `SORT_DESCENDING| `SPELL_CHECK| `STOCK of string| `STOP| `STRIKETHROUGH| `UNDELETE| `UNDERLINE| `UNDO| `UNINDENT| `YES| `ZOOM_100| `ZOOM_FIT| `ZOOM_IN| `ZOOM_OUT ]val convert_id : id -> stringval conv : id Gobject.data_convmodule Icon_source : sig ... endmodule Icon_set : sig ... endmodule Icon_factory : sig ... endval make_icon_source :
?filename:string ->
?pixbuf:GdkPixbuf.pixbuf ->
?direction:Gtk.Tags.text_direction ->
?state:Gtk.Tags.state_type ->
?size:Gtk.Tags.icon_size ->
unit ->
Gtk.icon_sourceval make_icon_set :
?pixbuf:GdkPixbuf.pixbuf ->
Gtk.icon_source list ->
Gtk.icon_setval make_icon_factory :
?default:bool ->
?icons:(id * Gtk.icon_set) list ->
unit ->
Gtk.icon_factorytype item = {stock_id : string;label : string;modifier : Gdk.Tags.modifier list;keyval : Gdk.keysym;}module Item : sig ... end