gnome-mplayer toolkit (development files)

 A set of GTK+ widgets used by gnome-mplayer. It provides, amongst others,
 gnome-mplayer's media player widget.
 .
 This package provides the development files.