3
stock["gtk-media-play"] = {{ "media-playback-start.png", *, *, * }}
4
stock["gtk-media-stop"] = {{ "media-playback-stop.png", *, *, * }}
5
stock["gtk-media-pause"] = {{ "media-playback-pause.png", *, *, * }}
6
stock["gtk-media-previous"] = {{ "media-skip-backward.png", *, *, * }}
7
stock["gtk-media-next"] = {{ "media-skip-forward.png", *, *, * }}
8
stock["gtk-media-record"] = {{ "gtk-record.png", *, *, * }}
9
stock["gtk-print-preview"] = {{ "gtk-print-preview.png", *, *, * }}
10
stock["gtk-add"] = {{ "stock_add.png", *, *, * }}
11
stock["gtk-apply"] = {{ "stock_apply.png", *, *, *}}
12
stock["gtk-bold"] = {{ "stock_bold.png", *, *, *}}
13
stock["gtk-cancel"] = {{ "stock_cancel.png", *, *, *}}
14
stock["gtk-cdrom"] = {{ "stock_cdrom.png", *, *, *}}
15
stock["gtk-close"] = {{ "gtk-close.png", *, *, * }}
16
stock["gtk-clear"] = {{ "stock_clear.png", *, *, * }}
17
stock["gtk-color-picker"] = {{ "stock_color_picker.png", *, *, * }}
18
stock["gtk-copy"] = {{ "stock_copy.png", *, *, * }}
19
stock["gtk-cut"] = {{ "stock_cut.png", *, *, * }}
20
stock["gtk-find"] = {{ "stock_find.png", *, *, * }}
21
stock["gtk-folder"] = {{ "stock_folder.png", *, *, * }}
22
stock["gtk-go-back"] = { { "stock_back.png", *, *, *} }
23
stock["gtk-go-down"] ={ { "stock_down.png", *, *, *}}
24
stock["gtk-go-forward"] ={{ "stock_forward.png", *, *, *}}
25
stock["gtk-go-up"] ={{ "stock_up.png", *, *, *}}
26
stock["gtk-goto-bottom"] = { { "stock_bottom.png", *, *, *} }
27
stock["gtk-goto-first"] = {{ "stock_goto_first.png", *, *, * }}
28
stock["gtk-goto-last"] = {{ "stock_goto_last.png", *, *, * }}
29
stock["gtk-goto-top"] = {{ "stock_top.png", *, *, *}}
30
stock["gtk-help"] = {{ "stock_help.png", *, *, * }}
31
stock["gtk-home"] = {{ "stock_home.png", *, *, * }}
32
stock["gtk-jump-to"] = {{ "stock_jump_to.png", *, *, * }}
33
stock["gtk-new"] = {{ "stock_new.png", *, *, *}}
34
stock["gtk-no"] = {{ "stock_cancel.png", *, *, *}}
35
stock["gtk-ok"] ={{ "stock_ok.png", *, *, *}}
36
stock["gtk-open"] ={{ "stock_open.png", *, *, *}}
37
stock["gtk-print"] ={{ "stock_print.png", *, *, *}}
38
stock["gtk-quit"] = {{ "stock_quit.png", *, *, * }}
39
stock["gtk-redo"] = {{ "stock_redo.png", *, *, * }}
40
stock["gtk-refresh"] = {{ "stock_refresh.png", *, *, *}}
41
stock["gtk-remove"] = {{ "stock_remove.png", *, *, * }}
42
stock["gtk-save"] = {{ "stock_save.png", *, *, * }}
43
stock["gtk-save-as"] = {{ "stock_save.png", *, *, * }}
44
stock["gtk-stop"] = {{ "stock_cancel.png", *, *, * }}
45
stock["gtk-undo"] = {{ "stock_undo.png", *, *, * }}
46
stock["gtk-yes"] = { { "stock_apply.png", *, *, *} }
47
stock["gtk-zoom-100"] = {{ "stock_zoom_one_to_one.png", *, *, * }}
48
stock["gtk-zoom-fit"] = {{ "stock_zoom_fit_width.png", *, *, * }}
49
stock["gtk-zoom-fit-width"] = {{ "stock_zoom_fit_width.png", *, *, * }}
50
stock["gtk-zoom-in"] = {{ "stock_zoom_in.png", *, *, * }}
51
stock["gtk-zoom-out"] = {{ "stock_zoom_out.png", *, *, * }}
52
stock["gtk-find-and-replace"] = {{ "stock_find-and-replace.png", *, *, * }}
53
stock["gtk-paste"] = {{ "stock_paste.png", *, *, * }}
54
stock["gtk-trash"] = {{ "stock_trash.png", *, *, * }}
55
stock["gtk-delete"] = {{ "stock_delete.png", *, *, * }}
56
stock["gtk-preferences"] = {{ "stock_preferences.png", *, *, * }}
57
stock["gtk-properties"] = {{ "stock_properties.png", *, *, * }}
60
class "GtkWidget" style "Leopard-icons"