--- cvs/src/IconButton.cc 2004-01-21 21:23:41.000000000 +0100 +++ raiseicons/src/IconButton.cc 2004-02-18 01:34:12.704248440 +0100 @@ -70,7 +70,10 @@ public: explicit FocusCommand(FluxboxWindow &win):m_win(win) { } void execute() { if(m_win.isIconic() || !m_win.isFocused()) + { + m_win.screen().changeWorkspaceID(m_win.workspaceNumber()); m_win.raiseAndFocus(); + } else m_win.iconify(); }