• Simple Menu launcher on KDE Store https://blogs.kde.org/2017/01/30/simple-menu-launcher-kde-store 3 comments 30/1/2017 kde