diff options
Diffstat (limited to 'src/Workspace.cc')
-rw-r--r-- | src/Workspace.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Workspace.cc b/src/Workspace.cc index 2ee2768..83db8ef 100644 --- a/src/Workspace.cc +++ b/src/Workspace.cc | |||
@@ -104,7 +104,8 @@ public: | |||
104 | return; | 104 | return; |
105 | FluxboxWindow &win = *m_client.fbwindow(); | 105 | FluxboxWindow &win = *m_client.fbwindow(); |
106 | 106 | ||
107 | if (win.screen().currentWorkspaceID() != win.workspaceNumber()) { | 107 | if (win.screen().currentWorkspaceID() != win.workspaceNumber() && |
108 | !win.isStuck()) { | ||
108 | win.menu().hide(); | 109 | win.menu().hide(); |
109 | BScreen::FollowModel model = win.screen().getUserFollowModel(); | 110 | BScreen::FollowModel model = win.screen().getUserFollowModel(); |
110 | if (model == BScreen::IGNORE_OTHER_WORKSPACES) | 111 | if (model == BScreen::IGNORE_OTHER_WORKSPACES) |