+
+ Widget playRepeatTrackButton;
+ Widget playRepeatListButton;
+ Widget playAutoPlayButton;
+
+ Time player_event_time;
+ Time button_press_time;
+ double motion_playback_time;
+ int mouse_x;
+ int mouse_y;
+ int mouse_x_orig;
+ int mouse_y_orig;
+
+ Boolean repeatTrack;
+ Boolean repeatList;
+ Boolean autoplayFolder;