Stock Items: prebuilt common menu/toolbar items and corresponding icons
type gtk_stock_id = [ | `ABOUTsince GTK 2.6
*)| `ADD| `APPLY| `BOLD| `CANCEL| `CAPS_LOCK_WARNINGsince GTK 2.16
*)| `CDROM| `CLEAR| `CLOSE| `COLOR_PICKERsince GTK 2.2
*)| `CONVERT| `CONNECTsince GTK 2.6
*)| `COPY| `CUT| `DELETE| `DIALOG_AUTHENTICATIONsince GTK 2.4
*)| `DIALOG_INFO| `DIALOG_WARNING| `DIALOG_ERROR| `DIALOG_QUESTION| `DIRECTORYsince GTK 2.6
*)| `DISCONNECTsince GTK 2.6
*)| `DND| `DND_MULTIPLE| `EDITsince GTK 2.6
*)| `EXECUTE| `FILEsince GTK 2.6
*)| `FIND| `FIND_AND_REPLACE| `FLOPPY| `FULLSCREENsince GTK 2.8
*)| `GOTO_BOTTOM| `GOTO_FIRST| `GOTO_LAST| `GOTO_TOP| `GO_BACK| `GO_DOWN| `GO_FORWARD| `GO_UP| `HARDDISKsince GTK 2.4
*)| `HELP| `HOME| `INDEX| `INDENTsince GTK 2.4
*)| `INFOsince GTK 2.8
*)| `ITALIC| `JUMP_TO| `JUSTIFY_CENTER| `JUSTIFY_FILL| `JUSTIFY_LEFT| `JUSTIFY_RIGHT| `LEAVE_FULLSCREENsince GTK 2.8
*)| `MISSING_IMAGE| `MEDIA_FORWARDsince GTK 2.6
*)| `MEDIA_NEXTsince GTK 2.6
*)| `MEDIA_PAUSEsince GTK 2.6
*)| `MEDIA_PLAYsince GTK 2.6
*)| `MEDIA_PREVIOUSsince GTK 2.6
*)| `MEDIA_RECORDsince GTK 2.6
*)| `MEDIA_REWINDsince GTK 2.6
*)| `MEDIA_STOPsince GTK 2.6
*)| `NETWORKsince GTK 2.4
*)| `NEW| `NO| `OK| `OPEN| `ORIENTATION_LANDSCAPEsince GTK 2.10
*)| `ORIENTATION_PORTRAITsince GTK 2.10
*)| `ORIENTATION_REVERSE_LANDSCAPEsince GTK 2.10
*)| `ORIENTATION_REVERSE_PORTRAITsince GTK 2.10
*)| `PAGE_SETUPsince GTK 2.14
*)| `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_ALLsince GTK 2.10
*)| `SELECT_COLOR| `SELECT_FONT| `SORT_ASCENDING| `SORT_DESCENDING| `SPELL_CHECK| `STOP| `STRIKETHROUGH| `UNDELETE| `UNDERLINE| `UNDO| `UNINDENTsince GTK 2.4
*)| `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