[PATCH] shift+mousewheel to change bars fails

[Kral2]

Should have posted this in this forum - here's a link and a patch to fix the bug:

http://www.cosmosui.org/forums/viewtopic.php?p=27211#27211