176
177
public signal void configure_window (uint video_w, uint video_h);
177
178
public signal void progression_changed (double current_time, double total_time);
178
179
public signal void external_subtitle_changed (string? uri);
181
183
video = new Clutter.Texture ();