diff gui/ui/gtk/menu.h @ 33791:8b0c78a85a8c

Cosmetic: Change parameter names of gui() and mplayer().
author ib
date Tue, 12 Jul 2011 08:59:47 +0000
parents d9b805602aa1
children
line wrap: on
line diff