diff options
Diffstat (limited to 'manual/plugins/theme_remove.tex')
| -rw-r--r-- | manual/plugins/theme_remove.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/plugins/theme_remove.tex b/manual/plugins/theme_remove.tex index b4d45dfc7a..4bea221403 100644 --- a/manual/plugins/theme_remove.tex +++ b/manual/plugins/theme_remove.tex | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | % $Id $ % | 1 | % $Id$ % |
| 2 | \subsection{\label{ref:ThemeRemove}Theme Remove} | 2 | \subsection{\label{ref:ThemeRemove}Theme Remove} |
| 3 | This plugin offers a way to remove a theme. Open the \setting{Context Menu} (see \reference{ref:Contextmenu}) | 3 | This plugin offers a way to remove a theme. Open the \setting{Context Menu} (see \reference{ref:Contextmenu}) |
| 4 | upon a theme\fname{.cfg} file and select \setting{Open With... $\rightarrow$ theme\_remove}. | 4 | upon a theme\fname{.cfg} file and select \setting{Open With... $\rightarrow$ theme\_remove}. |