From 0c57abe8e57966f4d2c1f115a453d0054df9e704 Mon Sep 17 00:00:00 2001 From: Johannes Lange Date: Wed, 3 Feb 2016 19:32:52 +0100 Subject: [PATCH] "hiding vertical borders" -> "hiding outer borders" This option can be used to hide horizontal or horizontal+vertical borders since 57effd6 --- docs/userguide | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/userguide b/docs/userguide index 55568b65..2b4491ac 100644 --- 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.