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

This option can be used to hide horizontal or horizontal+vertical
borders since 57effd6

diff --git a/docs/userguide b/docs/userguide
index 55568b6585d49a587e3ac75b4da1801e3b030e29..2b4491ac839f6ebadf8a02feee32deee513d5028 100644 (file)
--- a/docs/userguide
+++ b/docs/userguide
@@ -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.