all repos — fluxbox @ b0b28c4bbb20ffcf56b445caca112d8866c9c788

custom fork of the fluxbox windowmanager

also move icons when removing a workspace
markt markt
commit

b0b28c4bbb20ffcf56b445caca112d8866c9c788

parent

def26c19e5b787916104c03f5540e5b3a44004eb

1 files changed, 8 insertions(+), 0 deletions(-)

jump to
M src/Screen.ccsrc/Screen.cc

@@ -1033,6 +1033,14 @@ changeWorkspaceID(m_current_workspace->workspaceID() - 1);

wkspc->removeAll(wkspc->workspaceID()-1); + Icons::iterator it = iconList().begin(); + const Icons::iterator it_end = iconList().end(); + for (; it != it_end; ++it) { + if ((*it)->workspaceNumber() == wkspc->workspaceID()) + (*it)->setWorkspace(wkspc->workspaceID()-1); + } + m_clientlist_sig.notify(); + //remove last workspace m_workspaces_list.pop_back();