all repos — fluxbox @ 45f00785e9b072e29dc7802f590d7af0e47898a2

custom fork of the fluxbox windowmanager

fixed remove workspace bug
fluxgen fluxgen
commit

45f00785e9b072e29dc7802f590d7af0e47898a2

parent

96e62e53ae278906e1eba0474b70f6bc1714945d

1 files changed, 5 insertions(+), 1 deletions(-)

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

@@ -877,11 +877,15 @@ wkspc->removeAll();

//remove last workspace m_workspaces_list.pop_back(); - delete wkspc; + updateNetizenWorkspaceCount(); saveWorkspaces(m_workspaces_list.size()); + // must be deleted after we send notify!! + // so we dont get bad pointers somewhere + // while processing the notify signal + delete wkspc; return m_workspaces_list.size(); }