public void quickSave(MediaSavedData dest) { dest.addInt(mapIndex); dest.addInt(fps); dest.addInt(w); dest.addInt(h); }
public void quickSave(MediaSavedData dest) { int count = getCount(); dest.addInt(count); for (int index = 0; index < count; index++) { dest.addByFile(getFile(index)); } }
public MediaSavedData quickSave() { MediaSavedData dest = new MediaSavedData(); _targetAudioStream.quickSave(dest); _targetVideoStream.quickSave(dest); ed.quickSave(dest); dest.addString(_origFile); dest.addString(_ext); dest.addString(_duplFile); dest.addInt(_wavHz); return(dest); }