1. 2018-07-30 D14436: SwitchDesktop mousewheel options with config kde-panel David Edmundson 2. 2018-07-30 D14436: SwitchDesktop mousewheel options with config kde-panel Thomas Otto 3. 2018-07-29 D14436: SwitchDesktop mousewheel options with config kde-panel David Edmundson 4. 2018-07-28 D14436: SwitchDesktop mousewheel options with config kde-panel Thomas Otto 5. 2018-07-28 D14436: SwitchDesktop mousewheel options with config kde-panel Thomas Otto