https://bugs.kde.org/show_bug.cgi?id=363983
--- Comment #3 from Kai Uwe Broulik <k...@privat.broulik.de> --- Git commit f322dfbc3c8c92b99ca8aa6e6ac10cd72d41d4f1 by Kai Uwe Broulik. Committed on 11/01/2017 at 19:08. Pushed by broulik into branch 'master'. [Workspace Options] Add option to disable OSD M +18 -1 kcms/workspaceoptions/mainpage.ui M +19 -4 kcms/workspaceoptions/workspaceoptions.cpp https://commits.kde.org/plasma-desktop/f322dfbc3c8c92b99ca8aa6e6ac10cd72d41d4f1 -- You are receiving this mail because: You are watching all bug changes.
