Some functions have two versions - one with an "int playlistId" parameter and one with a "#string movieName" parameter. The second version is not native Java code: it is pre-processed before compilation and replaced with the playlist ID.
The same applies to the play mark number (index) - "#int markNumber" turns into "int markId". markId is the standard play mark number, whereas markNumber is the chapter number. The formula is "markId" = "markNumber" - 1. Thus, play marks always start at 0, while chapters always start at 1.
String (java.lang.String) values are written in double quotes ("S:MV_Movie.play_movie"), whereas #string values are always written in single quotes ('Movie'). The latter is meant for the preprocessor.
You cannot use the #int and #string types directly in the code (you cannot create variables of these types).
The list of available functions (all of them can be found in MediaManagement.java, located in the Classes subfolder of the application folder):
int/long/float/double manager.abs(int/long/float/double value) - returns an absolute (positive) value;
void manager.activateButton(String strHandler, String strButton) - activates the button (strButton) in the menu specified by the handler (strHandler);
void manager.activateButtonEx(String strHandler, String strButton, boolean bExec) - the same as the previous one, but also executes the Enter action of the button;
boolean manager.activateSegment(String strSegment) - activates the menu or movie segment;
void manager.addBookmark() - adds a bookmark with the current time for the active movie;
void manager.addBookmark(int playListID, long time) - adds a bookmark with the specified time (in nanoseconds) for the specified playlist;
void manager.addBookmark(#string movieName, long time) - same as above;
void manager.addBookmark(long time) - same as above, but using the current playlist;
void manager.allowSaveState(boolean Allow) - tells the engine to store the state of the current menu or movie if it is able to;
Iterator manager.bookmarkIterator(int playListID) - returns an Iterator for iterating through the bookmarks of the specified playlist;
Iterator manager.bookmarkIterator(#string movieName) - same as above;
boolean manager.canDiscResume() - returns true if a disc resume is possible;
boolean manager.canResume(int playlistId) - returns true if a resume can be done for the specified playlist (movie);
boolean manager.canResume(#string movieName) - same as above;
void manager.clearBackground() - clears the background image and the color, resetting them to their default values;
void manager.clearGPR() - clears GPRs 1 to 4000 (sets them to 0);
void manager.Close_Popup() - executes the [close popup] action;
int manager.currentBookmarkNumber(int playListID) - returns the current (active) bookmark number (index) for the specified playlist (details);
int manager.currentBookmarkNumber(#string movieName) - same as above;
int manager.currentBookmarkNumber() - same as above, but using the current playlist;
String manager.currentBookmarkText(int playListID) - returns the current (active) bookmark time of the specified playlist in text form (01:23:45);
String manager.currentBookmarkText(#string movieName) - same as above;
String manager.currentBookmarkText() - same as above, but using the current playlist;
long manager.currentBookmarkTime(int playListID) - returns the current (active) bookmark time for the specified playlist in nanoseconds;
long manager.currentBookmarkTime(#string movieName) - same as above;
long manager.currentBookmarkTime() - same as above, but using the current playlist;
int manager.currentJAR - returns the current JAR index;
void manager.deleteBookmark() - deletes the current bookmark of the current playlist;
void manager.deleteBookmark(int playListID) - deletes the current bookmark of the specified playlist;
void manager.deleteBookmark(#string movieName) - same as above;
void manager.deleteBookmark(int playListID, long time) - deletes a bookmark for the specified playlist with the specified time (in nanoseconds);
void manager.deleteBookmark(#string movieName, long time) - same as above;
long manager.duration - the duration of the current playlist in nanoseconds (not a function, but a value stored when the playlist starts);
long manager.durationInSeconds - the duration of the current playlist in seconds (not a function, but a value stored when the playlist starts; always greater than zero);
void manager.fastForward() - sets the playback rate to the next fast forward value, depending on the current playback rate; the values can be specified in the project properties;
boolean manager.fileExists(String fileName) - checks if the specified file exists in the storage;
void manager.firstBookmark(int playListID) - selects the first bookmark for the specified playlist;
void manager.firstBookmark(#string movieName) - same as above;
void manager.firstBookmark() - same as above, but using the current playlist;
void manager.flushBackgroundImage(String fileName) - releases the memory occupied by the specified preloaded background image; the image can be preloaded again later;
void manager.flushBackgroundImages() - releases the memory occupied by all preloaded background images;
int manager.getAudioID(int playlistId) - returns the current audio track number (index) for the specified playlist (movie);
int manager.getAudioID(#string movieName) - same as above;
int manager.getAudioID(int playlistId, boolean updateToCurrent) - returns the current audio track number (index) for the specified playlist (movie), but checks its current value and updates it if updateToCurrent is true and playlist is the current playlist;
int manager.getAudioID(#string movieName, boolean updateToCurrent) - same as above;
int manager.getBookmarksCount(int playListID) - returns the number of bookmarks in the specified playlist;
int manager.getBookmarksCount(#string movieName) - same as above;
int manager.getBookmarksCount() - same as above, but using the current playlist;
String manager.getBookmarkText(int playListID, int number) - returns the specified by the index bookmark time of the specified playlist in text form (01:23:45);
String manager.getBookmarkText(#string movieName, int number) - same as above;
String manager.getBookmarkText(int number) - same as above, but using the current playlist;
long manager.getBookmarkTime(int playListID, int number) - returns the time of the bookmark with the given index in the specified playlist, in nanoseconds;
long manager.getBookmarkTime(#string movieName, int number) - same as above;
long manager.getBookmarkTime(int number) - same as above, but using the current playlist;
int manager.getChapter(int playlistId) - returns the current chapter number (index) for the specified playlist (movie), starting from 1 (1 - first chapter, 0 - the playlist was not started or ended (the resume time was reset));
int manager.getChapter(#string movieName) - same as above;
int manager.getChapterNumberByTime(int playlistId, long time) - returns the current chapter number (starting from 1) for the specified playlist (movie), detecting the chapter number by the specified time (note: the value is approximate);
int manager.getChapterNumberByTime(#string movieName, long time) - same as above;
long manager.getChapterTimeByNumber(int playlistId, int chapterId) - returns the time, in nanoseconds, of the specified chapter (index, starting from 0) of the specified playlist (movie);
long manager.getChapterTimeByNumber(#string movieName, int chapterId) - same as above;
int manager.getCurrentAngle() - returns the current angle for the current playlist;
int manager.getCurrentAudioID() - returns the current audio track number (index) of the current playlist (movie);
int manager.getCurrentChapter() - returns the current chapter of the current playlist (movie), starting from 1 (1 - the first chapter);
String manager.getCurrentSegmentName() - returns the current segment name;
int manager.getCurrentSubID() - returns the current subtitle track number (index) for the current movie; 0 means that the subtitles are off;
int manager.getCurrentSubNumber() - returns the active subtitle track number (index) of the current movie, ignoring the on/off state;
boolean manager.getCurrentSubState() - returns true if subtitles are on in the current movie;
float manager.getDB() - returns the current gain set in dB;
long manager.getDuration() - returns the duration of the current playlist in nanoseconds;
long manager.getDurationInSeconds() - returns the duration of the current playlist in seconds;
int manager.getGPR(int gprNumber) - returns the value of the specified GPR;
int manager.getHeight(String featureName) - returns the height of the specified image feature;
float manager.getLevel() - returns the current gain set as a value between 0.0 and 1.0;
long manager.getMediaTime() - returns the current time of the current playlist in nanoseconds;
long manager.getMediaTimeInSeconds() - returns the current time of the current playlist in seconds;
float manager.getPlaybackRate() - returns the current playback rate (1 = play, 0 = pause, negative = rewind);
int manager.getPlaylistID() - returns the current playlist number (index);
int manager.getPSR(int psrNumber) - returns the value of the specified PSR;
long manager.getResumeTimeReg(int playlistId) - returns the resume time of the specified playlist (movie) in nanoseconds;
long manager.getResumeTimeReg(#string movieName) - same as above;
int manager.getSecondaryAudio() - returns the actual PIP video track number (index);
int manager.getSecondaryScale() - returns the actual scale;
int manager.getSecondaryVideo() - returns the actual PIP audio track number (index);
int manager.getSubID(int playlistId) - returns the current subtitle track number (index) for the specified playlist (movie); 0 means that the subtitles are off;
int manager.getSubID(#string movieName) - same as above;
int manager.getSubID(int playlistId, boolean updateToCurrent) - returns the current subtitle track number (index) for the specified playlist (movie), but checks its current value and updates it if updateToCurrent is true; a result of 0 means that the subtitles are off;
int manager.getSubID(#string movieName, boolean updateToCurrent) - same as above;
int manager.getSubNumber(int playlistId) - returns the active subtitle track number (index) of the specified playlist (movie), ignoring the on/off state;
int manager.getSubNumber(#string movieName) - same as above;
boolean manager.getSubState(int playlistId) - returns true if subtitles are on in the specified playlist;
boolean manager.getSubState(#string movieName) - same as above;
String manager.getText(String featureName) - returns the first line of the text of the text feature;
String manager.getText(String featureName, int index) - returns the specified line of the text of the text feature (the index starts at 0);
int manager.getWidth(String featureName) - returns the width of the specified image feature;
int manager.getX(String featureName) - returns the X coordinate of the specified feature;
int manager.getY(String featureName) - returns the Y coordinate of the specified feature;
boolean manager.hasDataInStorage() - returns true if there is data for this disc in the storage;
String manager.int2hex(int number, int len) - converts the given number into a hexadecimal string, adding leading zeros to reach the specified length;
String manager.int2str(int number, int len) - converts the given number into a string, adding leading zeros to reach the specified length;
boolean manager.is2D() - returns true if the current mode is 2D;
boolean manager.is3D() - returns true if the current mode is 3D;
boolean manager.isBackgroundImageLoaded(String fileName) - returns true if the specified background image has been preloaded and is ready to be shown without a delay;
boolean manager.isButtonSelected(String strAssembly, String strButton) - returns true if the specified button is selected in the menu identified by the assembly name;
boolean manager.isFastForward() - returns true if the current playback rate is fast forward;
boolean manager.isFirstBookmark(int playlistId) - returns true if the current bookmark of the specified movie is the first one (it also returns true if there are no bookmarks);
boolean manager.isFirstBookmark(#string movieName) - same as above;
boolean manager.isFirstBookmark() - same as above, but using the current playlist;
boolean manager.isLastBookmark(int playlistId) - returns true if the current bookmark of the specified movie is the last one (it also returns true if there are no bookmarks);
boolean manager.isLastBookmark(#string movieName) - same as above;
boolean manager.isLastBookmark() - same as above, but using the current playlist;
boolean manager.isMenu() - returns true if this is a menu playlist;
boolean manager.isMenuOnScreen() - returns true if a menu is on the screen (i.e. if this is not a Movie segment);
boolean manager.isPaused() - returns true if the current playback rate is "paused" (playback rate = 0);
boolean manager.isPIPAudioOff() - returns true if the PIP audio is off;
boolean manager.isPIPAudioOn() - returns true if the PIP audio is on;
boolean manager.isPIPFSoff() - returns true if the PIP is not in the full screen mode;
boolean manager.isPIPFSon() - returns true if the PIP is in the full screen mode;
boolean manager.isPIPoff() - returns true if the PIP is off;
boolean manager.isPIPon() - returns true if the PIP is on;
boolean manager.isPlaying() - returns true if the current playback rate is "playing" (playback rate = 1);
boolean manager.isPlaylist(int playlistId) - returns true if the specified playlist (movie) is playing;
boolean manager.isPlaylist(#string movieName) - same as above;
boolean manager.isRegion(int mask) - returns true if the player belongs to the given region (A = 1, B = 2, C = 4);
boolean manager.isRegionA() - returns true if the player belongs to region A;
boolean manager.isRegionB() - returns true if the player belongs to region B;
boolean manager.isRegionC() - returns true if the player belongs to region C;
boolean manager.isRewind() - returns true if the current playback rate is rewind;
boolean manager.isSFXoff() - returns true if the button sounds are off;
boolean manager.isSFXon() - returns true if the button sounds are on;
boolean manager.isSupportsStereo() - returns true if the 3D mode is supported;
boolean manager.isTopMenuPressed() - returns true if the Top Menu button was pressed (used during the initialization process);
void manager.jumpBookmark(int playListID) - jumps to the current bookmark time in the specified playlist;
void manager.jumpBookmark(#string movieName) - same as above;
void manager.jumpBookmark() - same as above, but using the current playlist;
void manager.jumpNextMark(int markCount) - jumps to the next playmark (chapter) of the current playlist (movie); markCount is the maximum number of chapters;
void manager.jumpNextMark() - jumps to the next playmark (chapter) in the current playlist (movie);
void manager.jumpPrevMark(int minMark) - jumps to the previous playmark (chapter) of the current playlist (movie); minMark is the minimum chapter number;
void manager.jumpPrevMark() - jumps to the previous playmark (chapter) in the current playlist (movie);
boolean manager.jumpPlayMark(int markId) - jumps to the specified playmark (chapter) of the current playlist (movie); returns true on success;
boolean manager.jumpPlayMark(#int markNumber) - same as above;
void manager.jumpTime(int timeInSeconds) - jumps to the specified time in the current playlist (movie);
void manager.lastBookmark(int playListID) - selects the last bookmark for the specified playlist;
void manager.lastBookmark(#string movieName) - same as above;
void manager.lastBookmark() - same as above, but using the current playlist;
boolean manager.loadDataFromStorage() - loads the data from the storage;
void manager.logPSR() - logs all PSR values to the debug output;
void manager.moveToX(String featureName, int x) - moves the specified feature to the specified coordinate along the X axis (you have to specify a move container for the object state);
void manager.moveToXY(String featureName, int x, int y) - moves the specified feature to the specified coordinates (you have to specify a move container for the object state);
void manager.moveToY(String featureName, int y) - moves the specified feature to the specified coordinate along the Y axis (you have to specify a move container for the object state);
void manager.moveX(String featureName, int dx) - moves the specified feature by the specified offset along the X axis (you have to specify a move container for the object state);
void manager.moveXY(String featureName, int dx, int dy) - moves the specified feature by the specified offsets (you have to specify a move container for the object state);
void manager.moveY(String featureName, int dy) - moves the specified feature by the specified offset along the Y axis (you have to specify a move container for the object state);
void manager.nextBookmark(int playListID) - selects the next bookmark for the specified playlist;
void manager.nextBookmark(#string movieName) - same as above;
void manager.nextBookmark() - same as above, but using the current playlist;
void manager.pauseMovie() - pauses the current movie (sets the playback rate to 0);
void manager.playMovie() - resumes the current (paused) movie (sets the playback rate to 1);
void manager.playPause() - switches between pauseMovie and playMovie;
void manager.playSFX(String strLocator) - plays a button sound using the specified BDLocator (the sounds are numbered from 0); example: manager.playSFX("bd://SOUND:01");
void manager.playVideo(int playlistId) - the same as startVideo, but resumes the playlist if possible;
void manager.playVideo(#string movieName) - same as above;
void manager.playVideoAt(int playlistId) - the same as startVideoAt, but resumes the playlist if possible;
void manager.playVideoAt(#string movieName) - same as above;
void manager.playVideoFrom(int playlistId, long time) - starts the specified playlist at the specified time, given in nanoseconds;
void manager.playVideoFrom(#string movieName, long time) - same as above;
void manager.preloadBackgroundImage(String fileName) - loads the specified background image into the memory without showing it, so a later showBackgroundImage displays it immediately; loading is performed in the background and the "Image loaded" script is executed when it is finished;
void manager.prevBookmark(int playListID) - selects the previous bookmark for the specified playlist;
void manager.prevBookmark(#string movieName) - same as above;
void manager.prevBookmark() - same as above, but using the current playlist;
int manager.random(int maxValue) - returns a random value;
String manager.readData(String key) - reads data from the properties (storage);
String manager.readData(String key, String defValue) - reads data from the properties (storage) and returns defValue if no data is found;
int manager.readDataInt(String key) - reads data from the properties (storage);
int manager.readDataInt(String key, int defValue) - reads data from the properties (storage) and returns defValue if no data is found;
long manager.readDataLong(String key) - reads data from the properties (storage);
long manager.readDataLong(String key, long defValue) - reads data from the properties (storage) and returns defValue if no data is found;
float manager.readDataFloat(String key) - reads data from the properties (storage);
float manager.readDataFloat(String key, float defValue) - reads data from the properties (storage) and returns defValue if no data is found;
boolean manager.readDataBoolean(String key) - reads data from the properties (storage);
boolean manager.readDataBoolean(String key, boolean defValue) - reads data from the properties (storage) and returns defValue if no data is found;
void manager.removeAllBookmarks(int playListID) - deletes all bookmarks for the specified playlist;
void manager.removeAllBookmarks(#string movieName) - same as above;
void manager.removeAllBookmarks() - same as above, but using the current playlist;
void manager.resetResumeTime(int playlistId) - clears the resume time of the specified playlist (movie);
void manager.resetResumeTime(#string movieName) - same as above;
boolean manager.restoreDataFromStorage() - loads data from the storage and restores stream settings;
boolean manager.resumeDisc() - resumes the state of the disc from the storage;
void manager.resumeVideoAt(int playlistId) - resumes the specified playlist (movie);
void manager.resumeVideoAt(#string movieName) - same as above;
void manager.rewind() - sets the playback rate to the next rewind value, depending on the current playback rate; the values can be specified in the project properties;
int/long manager.round(float/double value) - returns a rounded value;
void manager.saveAudio(int playlistId, int streamNumber) - saves the specified audio track number (index) for the specified playlist (movie);
void manager.saveAudio(#string movieName, int streamNumber) - same as above;
void manager.saveAudioSubtitle(int playlistId, int streamAudio, int streamSubtitle, boolean on) - saves the specified audio and subtitle track numbers (indexes) for the specified playlist (movie);
void manager.saveAudioSubtitle(#string movieName, int streamAudio, int streamSubtitle, boolean on) - same as above;
void manager.saveBookmarks(int playListID) - saves the bookmarks of the specified playlist;
void manager.saveBookmarks(#string movieName) - same as above;
void manager.saveBookmarks() - same as above, but using the current playlist;
void manager.saveChapter(int playlistId, int chapterNumber) - saves the specified chapter number (index) of the specified movie in the GPR registers;
void manager.saveChapter(#string movieName, #int chapterNumber) - same as above;
void manager.saveCurrentResumeTime() - saves the current time of the current movie for the resume;
void manager.saveMediaState() - saves the state of the current menu/movie; use it inside a try/catch block;
void manager.saveResumeTime(int playlistId, long mediaTime) - saves the specified resume time for the given playlist (movie);
void manager.saveResumeTime(#string movieName, long mediaTime) - same as above;
void manager.saveStorage() - saves the disc state to the storage;
void manager.saveSubtitle(int playlistId, int streamNumber, boolean on) - saves the specified subtitle track number (index) for the specified playlist (movie);
void manager.saveSubtitle(#string movieName, int streamNumber, boolean on) - same as above;
void manager.scaleBack() - scales the video back to its original size;
void manager.scaleFullToHalf(int Left, int Top) - scales the video from Full HD down to half size;
void manager.scaleFullToQuarter(int Left, int Top) - scales the video from Full HD down to quarter size;
void manager.scaleToX(String featureName, int x) - scales the specified feature to the specified scale in mills along the X axis (you have to specify a scale effect for the object state);
void manager.scaleToXY(String featureName, int x, int y) - scales the specified feature to the specified scale in mills (you have to specify a scale effect for the object state);
void manager.scaleToY(String featureName, int y) - scales the specified feature to the specified scale in mills along the Y axis (you have to specify a scale effect for the object state);
void manager.scaleUHDToHalf(int Left, int Top) - scales the video from Ultra HD down to half size;
void manager.scaleUHDToQuarter(int Left, int Top) - scales the video from UltraHD to the quarter;
void manager.scaleVideoSize(int L, int T, int W, int H, int _L, int _T, int _W, int _H) - custom scale from L, T, W, H to _L, _T, _W, _H;
void manager.scaleX(String featureName, int dx) - changes the scale of the specified feature by the specified offset in mills along the X axis (you have to specify a scale effect for the object state);
void manager.scaleXY(String featureName, int dx, int dy) - changes the scale of the specified feature by the specified offsets in mills (you have to specify a scale effect for the object state);
void manager.scaleY(String featureName, int dy) - changes the scale of the specified feature by the specified offset in mills along the Y axis (you have to specify a scale effect for the object state);
void manager.selectAngle(int streamNumber) - selects (sets) the specified angle for the current playlist;
void manager.selectAudio(int streamNumber) - selects (sets) the specified audio track number (index) in the current movie;
void manager.selectAudioStream(int playlistId, int streamNumber, boolean immediate) - selects (sets) the specified audio track number (index) of the given playlist (movie), and of the current playlist if immediate is true;
void manager.selectAudioStream(#string movieName, int streamNumber, boolean immediate) - same as above;
void manager.selectAudioSubtitleStream(int playlistId, int streamAudio, int streamSubtitle, boolean immediate) - selects (sets) the specified audio and subtitle track numbers (indexes) of the given playlist (movie), and of the current playlist if immediate is true (subtitle 0 means off);
void manager.selectAudioSubtitleStream(#string movieName, int streamAudio, int streamSubtitle, boolean immediate) - same as above;
void manager.selectAudioSubtitleStream(int playlistId, int streamAudio, int streamSubtitle, boolean on, boolean immediate) - selects (sets) the specified audio and subtitle track numbers (indexes) of the given playlist (movie), and of the current playlist if immediate is true;
void manager.selectAudioSubtitleStream(#string movieName, int streamAudio, int streamSubtitle, boolean on, boolean immediate) - same as above;
void manager.selectSecondaryAudio(int streamNumber) - selects (sets) the PIP audio track;
void manager.selectSecondaryVideo(int streamNumber) - selects (sets) the PIP video track;
void manager.selectSubtitle(int streamNumber) - selects (sets) the specified subtitle track number (index) in the current movie (0 means off);
void manager.selectSubtitle(int streamNumber, boolean on) - selects (sets) the specified subtitle track number (index) in the current movie;
void manager.selectSubtitleState(boolean on) - lets you switch the subtitles on or off;
void manager.selectSubtitleStream(int playlistId, int streamNumber, boolean immediate) - selects (sets) the specified subtitle track number (index) of the given playlist (movie), and of the current playlist if immediate is true (0 means off);
void manager.selectSubtitleStream(#string movieName, int streamNumber, boolean immediate) - same as above;
void manager.selectSubtitleStream(int playlistId, int streamNumber, boolean on, boolean immediate) - selects (sets) the specified subtitle track number (index) of the given playlist (movie), and of the current playlist if immediate is true;
void manager.selectSubtitleStream(#string movieName, int streamNumber, boolean on, boolean immediate) - same as above;
void manager.selectTitle(int title) - activates the specified title (and unloads the current JAR). 0 means the Top Menu, 65535 means First Play. This action requires JAR signing;
void manager.selectTitle(#int jarIndex) - activates a title corresponding to the specified JAR index (unloads the current JAR). This action requires JAR signing;
void manager.set2Dmode() - sets the 2D mode;
void manager.set3Dmode() - sets the 3D mode;
void manager.setAlpha(String featureName, double alpha) - changes the opacity of the specified feature (alpha has to be between 0 and 255; you have to specify an opacity effect for the object state);
void manager.setAutoButton(String strValue) - sets the auto button that is executed after the transition to the new menu;
void manager.setBackgroundColor(int color) - sets the background color and clears the background image if one was set before;
void manager.setBackgroundImage(String fileName) - sets the specified image as the background image; you first have to add the image to the Background images; the image is loaded at this moment, so it appears with a delay - use preloadBackgroundImage and showBackgroundImage to load it in advance and show it instantly;
void manager.setClipping(String featureName, int left, int top, int width, int height) - changes the clipping (cropping) of the specified feature (you have to specify a clipping effect for the object state);
void manager.setClippingRect(String featureName, int left, int top, int right, int bottom) - changes the clipping (cropping) of the specified feature (you have to specify a clipping effect for the object state);
void manager.setCurrentBookmark(int playListID, int number) - selects the bookmark with the specified index, starting at 1;
void manager.setCurrentBookmark(#string movieName, int number) - same as above;
void manager.setCurrentBookmark(int number) - same as above, but using the current playlist;
void manager.setDB(float db) - sets the gain of the primary audio in decibels. Positive values amplify the audio signal and negative values attenuate the signal;
void manager.setGPR(int gprNumber, int gprValue) - sets the value of the specified GPR;
void manager.setLevel(float level) - sets the gain of the primary audio using a floating point scale with values between 0.0 (silence) and 1.0 (the loudest level);
void manager.setMute(boolean mute) - mutes or unmutes the primary audio;
void manager.setNeedMode3D(int mode3D, boolean InPrefetch) - sets the flag that causes the program to change the display mode on the next video start;
void manager.setPIP(boolean stateON) - switches the PIP on or off;
void manager.setPIPDB(float db) - sets the gain of the secondary audio in decibels. Positive values amplify the audio signal and negative values attenuate the signal;
void manager.setPIPFullScreen(boolean stateON) - switches the PIP full screen mode on or off;
void manager.setPIPLevel(float level) - sets the gain of the secondary audio using a floating point scale with values between 0.0 (silence) and 1.0 (the loudest level);
void manager.setPIPMute(boolean mute) - mutes or unmutes the secondary audio;
float manager.setPlaybackRate(float rate) - sets a new playback rate and returns the result (1 = play, 0 = pause, negative = rewind);
void manager.setResumePlaylist(int playlistId) - sets the flag that causes the program to resume the playlist on the next video start;
void manager.setResumePlaylist(#string movieName) - same as above;
void manager.setSoundState(boolean stateON) - switches the button sounds on or off;
void manager.setStartPlayMark(int markId) - sets the flag that causes the program to start the playlist from the specified playmark on the next video start;
void manager.setStartPlayMark(#int markNumber) - same as above;
void manager.setStartPlayMarkResume() - sets the flag that causes the program to start the playlist from the resume time on the next video start;
void manager.setStartSegment(String strSegment) - sets the segment that is activated (activateSegment) after the startVideo command;
void manager.setText(String featureName, String text) - changes the first line of the text of the text feature;
void manager.setText(String featureName, String text, int index) - changes the specified line of the text of the text feature (the index starts at 0);
void manager.showBackgroundImage(String fileName) - shows the specified background image; if it was preloaded, it appears immediately, otherwise it is loaded first (the same way as setBackgroundImage does);
void manager.showBackgroundImage(String fileName, double x, double y, double width, double height) - same as above, but the image covers only the specified part of the screen; the values are relative to the screen dimensions, so (0, 0, 1, 1) is the whole screen and (0.25, 0.25, 0.5, 0.5) is a centered quarter of it;
void manager.showLog(String sLog) - writes the specified string to the debug log;
void manager.startMenuPlaylistIfNeeded() -starts the menu playlist without the menu itself;
void manager.startVideo(int playlistId, int markId) - starts the specified playlist (movie), first checking whether jumpPlayMark can be used instead of an actual start; if it can, jumpPlayMark is used;
void manager.startVideo(#string movieName, #int markNumber) - same as above;
void manager.startVideoAt(int playlistId, int markId) - starts the specified playlist (movie) without any checks;
void manager.startVideoAt(#string movieName, #int markNumber) - same as above;
void manager.storeData(String key, int value) - stores the value in the properties (storage);
void manager.storeData(String key, String value) - stores the value in the properties (storage);
void manager.storeData(String key, long value) - stores the value in the properties (storage);
void manager.storeData(String key, float value) - stores the value in the properties (storage);
void manager.storeData(String key, boolean value) - stores the value in the properties (storage);
void manager.Store_Streams() - calls selectAudioSubtitleStream;
void manager.stopMovie() - stops disc playback, this action requires JAR signing;
void manager.syncDisplay() - synchronizes graphics before long operations;
String manager.time2str(long time) - converts a time in nanoseconds into a string of the form 01:23:45;
void manager.UpdateCurrent_...() - updates the current state in the specified menu; example: manager.UpdateCurrent_PM_Popup_Sound();
void manager.updateTimer(String subMenuName, long timeInSeconds) - updates a pre-rendered timer object whose digits and colons have to be placed in the specified submenu;
void manager.updateTimer(String subMenuName, long timeInSeconds, int dx, int dy) - the same as above, but can also move the timer object; dx and dy are the offsets from the original position;
void manager.updateTimerNs(String subMenuName, long timeInNanoseconds) - the same as updateTimer, but accepts nanoseconds;
void manager.updateTimerNs(String subMenuName, long timeInNanoseconds, int dx, int dy) - the same as above, but can also move the timer object.