diff options
Diffstat (limited to 'runtime/doc/gui_x11.txt')
| -rw-r--r-- | runtime/doc/gui_x11.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/doc/gui_x11.txt b/runtime/doc/gui_x11.txt index a95b9fd6ba..76e2ac278a 100644 --- a/runtime/doc/gui_x11.txt +++ b/runtime/doc/gui_x11.txt @@ -496,7 +496,7 @@ unexpectedly less attractive or even deteriorates their usability. Keep this in mind always when you try improving a theme. -Example 3. border color +Example 3. border color ~ To eliminate borders when maximized: > |