// 3/7/12 4/12/12 1/21/13 2/10/15
// The constants can be modified as needed.
int theWidth = 500; // Width of canvas
int theHeight = 360; // Height of canvas
// It is assumed that both .ogg and .mp4 versions of the files are available
// in the same folder. The file names must be complete URLs except for the
// ending .ogg or .mp4 which must be omitted. It will be added as needed for
// the browser. Eception: .mp4 and webm versions of jwplayerFeatures are
// available. Use the prefix "file:///" or "http:// as appropriate.
String[] files = {"vid/developerStories-en",
"vid/Kitten",
"vid/jwplayerFeatures"};
Video video = document.getElementById("videotag");
String videoStatus, eventStatus;
CircleButton playBtn, pauseBtn, stopBtn;
CircleButton volumeDownBtn, volumeUpBtn, timeDownBtn, timeUpBtn;
ToggleButton[] fileBtn = new ToggleButton[files.length];
// -------------------- Global constants for tracks --------------------
final String NEW_LINE = " ";
final String INDENT_NEW_LINE = " ";
final int UNKNOWN = -1; // current track number source has not been determined
final int USECODE = -2; // the track will be generated by Processing.js code
final int USEHTML = -3; // the track will be created from info in HTML file
final int OFFSET_TRACKS = 100; // Added to a track number that has