diff options
author | Daniel Danner <daniel@danner.de> | 2013-01-01 21:05:57 +0100 |
---|---|---|
committer | Thorsten Wißmann <edu@thorsten-wissmann.de> | 2013-01-01 21:10:29 +0100 |
commit | aac6c22def468f4346344135395ba17633e213de (patch) | |
tree | ba7e8702668f95e155111d2fa85a524edcf052da /doc | |
parent | 7b9b24433642e605f8dfffea298d8a106a0b3d6b (diff) |
Clarify descriptions of *_border_inner_width
Diffstat (limited to 'doc')
-rw-r--r-- | doc/herbstluftwm.txt | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/herbstluftwm.txt b/doc/herbstluftwm.txt index 2d910eb0..6f693fec 100644 --- a/doc/herbstluftwm.txt +++ b/doc/herbstluftwm.txt @@ -730,7 +730,9 @@ frame_border_width (Integer):: Border width of a frame frame_border_inner_width (Integer):: - The width of the inner border of a frame. + The width of the inner border of a frame. Must be less than + frame_border_width, since it does not add to the frame border width but is a + part of it. raise_on_focus (Integer):: If set, a window is raised if it is focused. The value of this setting is @@ -749,7 +751,9 @@ window_border_width (Integer):: Border width of a window. window_border_inner_width (Integer):: - Width of the inner border of a window. + The width of the inner border of a window. Must be less than + window_border_width, since it does not add to the window border width but is + a part of it. window_border_active_color (String/Color):: Border color of a focused window. |