diff options
Diffstat (limited to 'manual/plugins/disktidy.tex')
-rw-r--r-- | manual/plugins/disktidy.tex | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/manual/plugins/disktidy.tex b/manual/plugins/disktidy.tex index 4b5abd81c5..c1c58271ea 100644 --- a/manual/plugins/disktidy.tex +++ b/manual/plugins/disktidy.tex | |||
@@ -20,10 +20,8 @@ | |||
20 | \item[Other] selects additional files added in by the user. | 20 | \item[Other] selects additional files added in by the user. |
21 | \end{description} | 21 | \end{description} |
22 | 22 | ||
23 | \begin{table} | 23 | \begin{btnmap} |
24 | \begin{btnmap}{}{} | ||
25 | \ActionStdCancel | 24 | \ActionStdCancel |
26 | \opt{HAVEREMOTEKEYMAP}{& \ActionRCStdCancel} | 25 | \opt{HAVEREMOTEKEYMAP}{& \ActionRCStdCancel} |
27 | & Exit / Abort\\ | 26 | & Exit / Abort\\ |
28 | \end{btnmap} | 27 | \end{btnmap} |
29 | \end{table} | ||