From c0f1dc24fd5e56ac99d16422d3e6f05761b2b725 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Thu, 8 Apr 2021 17:07:39 +0200 Subject: [PATCH] Add panel favorites for KDE (fixes #123) --- .../contents/updates/kali-panel-launchers.js | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 share/plasma/shells/org.kde.plasma.desktop/contents/updates/kali-panel-launchers.js diff --git a/share/plasma/shells/org.kde.plasma.desktop/contents/updates/kali-panel-launchers.js b/share/plasma/shells/org.kde.plasma.desktop/contents/updates/kali-panel-launchers.js new file mode 100644 index 00000000..4f1867ab --- /dev/null +++ b/share/plasma/shells/org.kde.plasma.desktop/contents/updates/kali-panel-launchers.js @@ -0,0 +1,10 @@ +panelIds.forEach(panelId => { + const panel = panelById(panelId); + panel.widgetIds.forEach(widgetId => { + const widget = panel.widgetById(widgetId); + if (widget.type === 'org.kde.plasma.icontasks') { + widget.currentConfigGroup = ["General"]; + widget.writeConfig('launchers', 'applications:org.kde.konsole.desktop,applications:org.kde.dolphin.desktop,applications:org.kde.kwrite.desktop,applications:firefox-esr.desktop'); + } + }) +})