A fix for 3 Statusbar Pager problems
Status: Alpha
Brought to you by:
richwareham
This patch (which is backwards and needs to be applied with the -R
switch) against the v0.5 source fixes 3 problems:
1) The statusbar pager doesn't update when desktops are added/
removed.
2) The statusbar crashes if a workspace is removed, because it
didn't retain the workspace
3) The statusbar doesn't transition when clicked
Logged In: YES
user_id=657427
Ummm, I'm trying to attach the patch but it's not working! It's simply not
attaching. I've sent it to the WSManager Devel list, though.
The patch
Logged In: YES
user_id=657427
Nevermind, I'm stupid, I missed the checkbox.