ModQuickSettings: option to specify Quick pulldown size
ModLauncher: fixed receiver leaks
ModLauncher: yet more options for desktop grid