Module GtkStock

Stock Items: prebuilt common menu/toolbar items and corresponding icons

val _gtkstock_init : unit -> unit
type gtk_stock_id = [
  1. | `ABOUT
    (*

    since GTK 2.6

    *)
  2. | `ADD
  3. | `APPLY
  4. | `BOLD
  5. | `CANCEL
  6. | `CAPS_LOCK_WARNING
    (*

    since GTK 2.16

    *)
  7. | `CDROM
  8. | `CLEAR
  9. | `CLOSE
  10. | `COLOR_PICKER
    (*

    since GTK 2.2

    *)
  11. | `CONVERT
  12. | `CONNECT
    (*

    since GTK 2.6

    *)
  13. | `COPY
  14. | `CUT
  15. | `DELETE
  16. | `DIALOG_AUTHENTICATION
    (*

    since GTK 2.4

    *)
  17. | `DIALOG_INFO
  18. | `DIALOG_WARNING
  19. | `DIALOG_ERROR
  20. | `DIALOG_QUESTION
  21. | `DIRECTORY
    (*

    since GTK 2.6

    *)
  22. | `DISCONNECT
    (*

    since GTK 2.6

    *)
  23. | `DND
  24. | `DND_MULTIPLE
  25. | `EDIT
    (*

    since GTK 2.6

    *)
  26. | `EXECUTE
  27. | `FILE
    (*

    since GTK 2.6

    *)
  28. | `FIND
  29. | `FIND_AND_REPLACE
  30. | `FLOPPY
  31. | `FULLSCREEN
    (*

    since GTK 2.8

    *)
  32. | `GOTO_BOTTOM
  33. | `GOTO_FIRST
  34. | `GOTO_LAST
  35. | `GOTO_TOP
  36. | `GO_BACK
  37. | `GO_DOWN
  38. | `GO_FORWARD
  39. | `GO_UP
  40. | `HARDDISK
    (*

    since GTK 2.4

    *)
  41. | `HELP
  42. | `HOME
  43. | `INDEX
  44. | `INDENT
    (*

    since GTK 2.4

    *)
  45. | `INFO
    (*

    since GTK 2.8

    *)
  46. | `ITALIC
  47. | `JUMP_TO
  48. | `JUSTIFY_CENTER
  49. | `JUSTIFY_FILL
  50. | `JUSTIFY_LEFT
  51. | `JUSTIFY_RIGHT
  52. | `LEAVE_FULLSCREEN
    (*

    since GTK 2.8

    *)
  53. | `MISSING_IMAGE
  54. | `MEDIA_FORWARD
    (*

    since GTK 2.6

    *)
  55. | `MEDIA_NEXT
    (*

    since GTK 2.6

    *)
  56. | `MEDIA_PAUSE
    (*

    since GTK 2.6

    *)
  57. | `MEDIA_PLAY
    (*

    since GTK 2.6

    *)
  58. | `MEDIA_PREVIOUS
    (*

    since GTK 2.6

    *)
  59. | `MEDIA_RECORD
    (*

    since GTK 2.6

    *)
  60. | `MEDIA_REWIND
    (*

    since GTK 2.6

    *)
  61. | `MEDIA_STOP
    (*

    since GTK 2.6

    *)
  62. | `NETWORK
    (*

    since GTK 2.4

    *)
  63. | `NEW
  64. | `NO
  65. | `OK
  66. | `OPEN
  67. | `ORIENTATION_LANDSCAPE
    (*

    since GTK 2.10

    *)
  68. | `ORIENTATION_PORTRAIT
    (*

    since GTK 2.10

    *)
  69. | `ORIENTATION_REVERSE_LANDSCAPE
    (*

    since GTK 2.10

    *)
  70. | `ORIENTATION_REVERSE_PORTRAIT
    (*

    since GTK 2.10

    *)
  71. | `PAGE_SETUP
    (*

    since GTK 2.14

    *)
  72. | `PASTE
  73. | `PREFERENCES
  74. | `PRINT
  75. | `PRINT_ERROR
  76. | `PRINT_PAUSED
  77. | `PRINT_PREVIEW
  78. | `PRINT_REPORT
  79. | `PRINT_WARNING
  80. | `PROPERTIES
  81. | `QUIT
  82. | `REDO
  83. | `REFRESH
  84. | `REMOVE
  85. | `REVERT_TO_SAVED
  86. | `SAVE
  87. | `SAVE_AS
  88. | `SELECT_ALL
    (*

    since GTK 2.10

    *)
  89. | `SELECT_COLOR
  90. | `SELECT_FONT
  91. | `SORT_ASCENDING
  92. | `SORT_DESCENDING
  93. | `SPELL_CHECK
  94. | `STOP
  95. | `STRIKETHROUGH
  96. | `UNDELETE
  97. | `UNDERLINE
  98. | `UNDO
  99. | `UNINDENT
    (*

    since GTK 2.4

    *)
  100. | `YES
  101. | `ZOOM_100
  102. | `ZOOM_FIT
  103. | `ZOOM_IN
  104. | `ZOOM_OUT
]
type id = [
  1. | gtk_stock_id
  2. | `STOCK of string
]
val id_table : (id, string) Hashtbl.t
val convert_id : id -> string
module Icon_source : sig ... end
module Icon_set : sig ... end
module Icon_factory : sig ... end
val 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_source
val make_icon_set : ?pixbuf:GdkPixbuf.pixbuf -> Gtk.icon_source list -> Gtk.icon_set
val make_icon_factory : ?default:bool -> ?icons:(id * Gtk.icon_set) list -> unit -> Gtk.icon_factory
type item = {
  1. stock_id : string;
  2. label : string;
  3. modifier : Gdk.Tags.modifier list;
  4. keyval : Gdk.keysym;
}
module Item : sig ... end