--- fluxbox.cc.orig 2002-12-08 10:55:32.000000000 -0500 +++ fluxbox.cc 2003-01-30 22:16:27.000000000 -0500 @@ -1653,7 +1653,7 @@ cerr<<__FILE__<<"("<<__LINE__<<"): SCREEN workspace count signal"<update()) + //if (m_atomhandler[i]->update()) m_atomhandler[i]->updateWorkspaceCount(screen); } } else if ((&(screen.workspaceNamesSig())) == changedsub) { @@ -1669,7 +1669,7 @@ cerr<<__FILE__<<"("<<__LINE__<<"): SCREEN current workspace signal"<update()) + //if (m_atomhandler[i]->update()) m_atomhandler[i]->updateCurrentWorkspace(screen); } } else if ((&(screen.clientListSig())) == changedsub) {