diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/asciidoc/fluxbox.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/asciidoc/fluxbox.txt b/doc/asciidoc/fluxbox.txt index 3afec68..87bd554 100644 --- a/doc/asciidoc/fluxbox.txt +++ b/doc/asciidoc/fluxbox.txt | |||
@@ -1136,6 +1136,15 @@ Set this to the number of workspaces the users wants. | |||
1136 | + | 1136 | + |
1137 | Default: *4* | 1137 | Default: *4* |
1138 | 1138 | ||
1139 | *session.screen0.struts*: 'integer', 'integer', 'integer', 'integer':: | ||
1140 | Shrink the workspace by left, right, top, bottom pixels (positive integers) | ||
1141 | This allows you to add some padding to the workspace eg. to keep a fraction | ||
1142 | of the desktop visible against maximized windows. | ||
1143 | session.screen0.struts.<n> allows to control this for individual heads | ||
1144 | (<n> starts counting at 1) | ||
1145 | + | ||
1146 | Default: *0,0,0,0* | ||
1147 | |||
1139 | *session.cacheLife*: 'minutes':: | 1148 | *session.cacheLife*: 'minutes':: |
1140 | This tells fluxbox how long unused pixmaps may stay in the X | 1149 | This tells fluxbox how long unused pixmaps may stay in the X |
1141 | server's memory. | 1150 | server's memory. |