ndavis added a comment.
I think `preferences-desktop-theme-applications` is fine, but `preferences-desktop-theme-windowdecorations` looks odd with that border. F6691545: Screenshot_20190314_135511.png <https://phabricator.kde.org/F6691545> REVISION DETAIL https://phabricator.kde.org/D19733 To: GB_2, #vdg Cc: ngraham, ndavis, kde-frameworks-devel, #vdg, michaelh, bruns
