I second that proposal. However this will not work nicely with the current behaviour where mouse wheel scrolling is tied to scrolling the launcher if it has too many entries and therefore folds them.
I second that proposal. However this will not work nicely with the current behaviour where mouse wheel scrolling is tied to scrolling the launcher if it has too many entries and therefore folds them.