images/iconrc

   1 #pixmap_path "path/to/musicbox/images"
   2
   3 style "icons"
   4 {
   5
   6 #       stock["gtk-close"] = {{ "stock_close.svg", *, *, * }}
   7 #       stock["gtk-preferences"] = {{ "stock_preferences.svg", *, *, * }}
   8
   9 #used as the playlist icon
  10 #       stock["gtk-index"] = {{ "stock_index.svg", *, *, * }} #playlist icon
  11
  12         stock["gtk-media-forward"] = {{ "media-ffwd.svg", *, *, * }}
  13         stock["gtk-media-play"] = {{ "media-play.svg", *, *, * }}
  14         stock["gtk-media-stop"] = {{ "media-stop.svg", *, *, * }}
  15         stock["gtk-media-next"] = {{ "media-next.svg", *, *, * }}
  16         stock["gtk-media-previous"] = {{ "media-prev.svg", *, *, * }}
  17         stock["gtk-media-pause"] = {{ "media-pause.svg", *, *, * }}
  18         stock["gtk-media-record"] = {{ "media-record.svg", *, *, * }}
  19         stock["gtk-media-rewind"] = {{ "media-rewind.svg", *, *, * }}
  20
  21 #not official gtk names (yet?)
  22         stock["gtk-media-repeat"] = {{ "media-repeat.svg", *, *, * }}
  23         stock["gtk-media-shuffle"] = {{ "media-shuffle.svg", *, *, * }}
  24 }
  25 class "GtkWidget" style "icons"
  26
  27