eiffelmedia - Revision 2643: /trunk/library/video/ev_widget/implementation/gtk/linux