diff options
author | fluxgen <fluxgen> | 2003-04-15 12:22:52 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2003-04-15 12:22:52 (GMT) |
commit | 89fddca1d7a2809278f9307367e7f6b600456dc1 (patch) | |
tree | b7a6b6e2cf2265fb37aaac24827e03d6d4f51739 /src/Workspace.cc | |
parent | 77beb5472b35477ba1235cc7258071e4d4094e54 (diff) | |
download | fluxbox-89fddca1d7a2809278f9307367e7f6b600456dc1.zip fluxbox-89fddca1d7a2809278f9307367e7f6b600456dc1.tar.bz2 |
cleaning
Diffstat (limited to 'src/Workspace.cc')
-rw-r--r-- | src/Workspace.cc | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/src/Workspace.cc b/src/Workspace.cc index 2d95c77..2bc0d78 100644 --- a/src/Workspace.cc +++ b/src/Workspace.cc | |||
@@ -22,7 +22,7 @@ | |||
22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | // DEALINGS IN THE SOFTWARE. | 23 | // DEALINGS IN THE SOFTWARE. |
24 | 24 | ||
25 | // $Id: Workspace.cc,v 1.51 2003/04/14 14:59:15 fluxgen Exp $ | 25 | // $Id: Workspace.cc,v 1.52 2003/04/15 12:20:27 fluxgen Exp $ |
26 | 26 | ||
27 | #include "Workspace.hh" | 27 | #include "Workspace.hh" |
28 | 28 | ||
@@ -496,15 +496,10 @@ void Workspace::updateClientmenu() { | |||
496 | (*win_it)->clientList().begin(); | 496 | (*win_it)->clientList().begin(); |
497 | FluxboxWindow::ClientList::iterator client_it_end = | 497 | FluxboxWindow::ClientList::iterator client_it_end = |
498 | (*win_it)->clientList().end(); | 498 | (*win_it)->clientList().end(); |
499 | for (; client_it != client_it_end; ++client_it) { | 499 | for (; client_it != client_it_end; ++client_it) |
500 | /* FbTk::RefCount<FbTk::Command> | ||
501 | raise_and_focus(new RaiseFocusAndSetWorkspace(*this, | ||
502 | *(*client_it))); | ||
503 | */ | ||
504 | m_clientmenu.insert(new ClientMenuItem(*(*client_it), *this)); | 500 | m_clientmenu.insert(new ClientMenuItem(*(*client_it), *this)); |
505 | } | ||
506 | } | 501 | } |
507 | 502 | ||
508 | m_clientmenu.update(); | 503 | m_clientmenu.update(); |
509 | } | 504 | } |
510 | 505 | ||