// movies //------------------------------------------------- // begin_recording - begin recording of a movie //------------------------------------------------- public void begin_recording(string name, movie_recording.format format) { throw new emu_unimplemented(); }
// misc //------------------------------------------------- // toggle_record_movie //------------------------------------------------- public void toggle_record_movie(movie_recording.format format) { throw new emu_unimplemented(); }