diff options
| author | markt <markt> | 2007-11-12 23:16:13 (GMT) |
|---|---|---|
| committer | markt <markt> | 2007-11-12 23:16:13 (GMT) |
| commit | bed4ba4d65dba0d12a8352a46436f25ce3d0e7d1 (patch) | |
| tree | a858fb9aca5ed5d2e9fe0b7e38a4dd35d2805001 /src/Screen.hh | |
| parent | 5d7043320da1378e7dd3b10f7e425f3b47455b28 (diff) | |
| download | fluxbox_pavel-bed4ba4d65dba0d12a8352a46436f25ce3d0e7d1.zip fluxbox_pavel-bed4ba4d65dba0d12a8352a46436f25ce3d0e7d1.tar.bz2 | |
a little fix for focusing lowered tabs on other workspaces
Diffstat (limited to 'src/Screen.hh')
| -rw-r--r-- | src/Screen.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 953411c..ac27df1 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
| @@ -360,7 +360,7 @@ public: | |||
| 360 | */ | 360 | */ |
| 361 | std::string getNameOfWorkspace(unsigned int workspace) const; | 361 | std::string getNameOfWorkspace(unsigned int workspace) const; |
| 362 | /// changes workspace to specified id | 362 | /// changes workspace to specified id |
| 363 | void changeWorkspaceID(unsigned int); | 363 | void changeWorkspaceID(unsigned int, bool revert = true); |
| 364 | /** | 364 | /** |
| 365 | * Sends a window to a workspace | 365 | * Sends a window to a workspace |
| 366 | * @param workspace the workspace id | 366 | * @param workspace the workspace id |