diff options
author | markt <markt> | 2007-04-08 18:01:01 (GMT) |
---|---|---|
committer | markt <markt> | 2007-04-08 18:01:01 (GMT) |
commit | 3b9351be77b168c54332ff51524e11090c1dd2bc (patch) | |
tree | 9c49979e3fcee96abbdbe86e75ef81c7625e68ea /doc | |
parent | 52a96c4e9dc21b53ccfa753e922e67981bca4d36 (diff) | |
download | fluxbox-3b9351be77b168c54332ff51524e11090c1dd2bc.zip fluxbox-3b9351be77b168c54332ff51524e11090c1dd2bc.tar.bz2 |
menu from workspacename tool wasn't focused, and fixed unpressed button rendering
Diffstat (limited to 'doc')
-rw-r--r-- | doc/asciidoc/fluxbox.txt | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/doc/asciidoc/fluxbox.txt b/doc/asciidoc/fluxbox.txt index 657e09c..9d77639 100644 --- a/doc/asciidoc/fluxbox.txt +++ b/doc/asciidoc/fluxbox.txt | |||
@@ -304,10 +304,6 @@ from the init file, but this is an easier and faster way for most users. | |||
304 | - *Windows Warping*: | 304 | - *Windows Warping*: |
305 | If enabled, you can drag windows from one workspace to another. | 305 | If enabled, you can drag windows from one workspace to another. |
306 | 306 | ||
307 | - *Desktop MouseWheel Switching*: | ||
308 | You will be able to change the workspace with your mousewheel if used on | ||
309 | the desktop or over the toolbar if the option is enabled. | ||
310 | |||
311 | - *Decorate Transient Windows*: | 307 | - *Decorate Transient Windows*: |
312 | With this option enabled all temporary windows will have a border and | 308 | With this option enabled all temporary windows will have a border and |
313 | grips. | 309 | grips. |
@@ -558,13 +554,11 @@ The possible tools are: | |||
558 | 554 | ||
559 | - *PrevWorkspace*: | 555 | - *PrevWorkspace*: |
560 | This displays an arrow that allows to switch to the workspace left of the | 556 | This displays an arrow that allows to switch to the workspace left of the |
561 | current one. Same as MouseWheelDown with "Desktop MouseWheel Switching" | 557 | current one. |
562 | enabled. | ||
563 | 558 | ||
564 | - *NextWorkspace*: | 559 | - *NextWorkspace*: |
565 | This displays an arrow that allows to switch to the workspace right of the | 560 | This displays an arrow that allows to switch to the workspace right of the |
566 | current one. Same as MouseWheelUp with "Desktop MouseWheel Switching" | 561 | current one. |
567 | enabled. | ||
568 | 562 | ||
569 | - *PrevWindow*: | 563 | - *PrevWindow*: |
570 | This displays an arrow that switches focus to the previous visible window on | 564 | This displays an arrow that switches focus to the previous visible window on |
@@ -713,8 +707,7 @@ session.screen0.toolbar.autoHide: <boolean> | |||
713 | False | 707 | False |
714 | 708 | ||
715 | session.screen0.desktopwheeling: <boolean> | 709 | session.screen0.desktopwheeling: <boolean> |
716 | session.screen0.toolbar.wheeling: <boolean> | 710 | This sets the ability to utilize the user's scroll wheel to change the |
717 | These set the ability to utilize the user's scroll wheel to change the | ||
718 | current workspace. Default: True | 711 | current workspace. Default: True |
719 | 712 | ||
720 | session.screen0.windowScrollAction: shade|nexttab | 713 | session.screen0.windowScrollAction: shade|nexttab |