diff Gui/mplayer/gtk/menu.c @ 14587:074e4dfed912

small updates
author diego
date Tue, 25 Jan 2005 00:28:48 +0000
parents 8f2f26ef46e2
children 9635dcba8f29
line wrap: on
line diff