diff options
Diffstat (limited to 'manual/plugins/mpegplayer.tex')
-rw-r--r-- | manual/plugins/mpegplayer.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/plugins/mpegplayer.tex b/manual/plugins/mpegplayer.tex index 1ee07b36d4..73734a4c69 100644 --- a/manual/plugins/mpegplayer.tex +++ b/manual/plugins/mpegplayer.tex | |||
@@ -39,7 +39,7 @@ option and choose \setting{mpegplayer}. | |||
39 | \end{table} | 39 | \end{table} |
40 | 40 | ||
41 | When a video file is selected, the start Menu will be displayed, unless it is | 41 | When a video file is selected, the start Menu will be displayed, unless it is |
42 | disabled via the option "start menu" (see below). In the latter case the video | 42 | disabled via the option ``start menu'' (see below). In the latter case the video |
43 | will start playing immediately - unless a resume point is found, in which case | 43 | will start playing immediately - unless a resume point is found, in which case |
44 | the resume menu is presented. | 44 | the resume menu is presented. |
45 | 45 | ||
@@ -67,7 +67,7 @@ Resume Menu | |||
67 | Main Menu | 67 | Main Menu |
68 | 68 | ||
69 | \begin{description} | 69 | \begin{description} |
70 | \item[Display Options] Opens "Display Options" submenu - see below. | 70 | \item[Display Options] Opens ``Display Options'' submenu -- see below. |
71 | \item[Start Menu] (default: on) Enable/disable the start menu. | 71 | \item[Start Menu] (default: on) Enable/disable the start menu. |
72 | \item[Clear all resumes: x] Discard all x resume points. | 72 | \item[Clear all resumes: x] Discard all x resume points. |
73 | \item[Quit mpegplayer] Exit the plugin. | 73 | \item[Quit mpegplayer] Exit the plugin. |