nixo
/
gri3-wm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #2190 from jolange/userguide 

Userguide: "hiding vertical borders" -> "hiding outer borders"
This commit is contained in:
Michael Stapelberg 2016-02-05 09:30:21 +01:00
parent 63cb5b2439 0c57abe8e5
commit 065ce6b8fc
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/userguide
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 +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. to waste even two pixels in displayspace. Default is none.