diff options
| author | Bram Moolenaar <Bram@vim.org> | 2018-10-19 16:22:31 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2018-10-19 16:22:31 +0200 |
| commit | 2c64ca1802b2c99b16d2fdf581b68b5baffb082a (patch) | |
| tree | aa6937d8f3704d98c6a5246e87e612b767104d22 /runtime/doc/gui_x11.txt | |
| parent | 04c86d27fed5757ae40246d7bb3fdcd0c1959468 (diff) | |
Update runtime files
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: > |