"hiding vertical borders" -> "hiding outer borders"

This option can be used to hide horizontal or horizontal+vertical
borders since 57effd6
This commit is contained in:
Johannes Lange 2016-02-03 19:32:52 +01:00
parent 63cb5b2439
commit 0c57abe8e5
1 changed files with 3 additions and 2 deletions

View File

@ -605,9 +605,10 @@ new_window pixel 3
---------------------
=== Hiding vertical borders
[[_hiding_vertical_borders]]
=== Hiding borders adjacent to the screen edges
You can hide vertical borders adjacent to the screen edges using
You can hide container borders adjacent to the screen edges using
+hide_edge_borders+. This is useful if you are using scrollbars, or do not want
to waste even two pixels in displayspace. Default is none.