Daniel Ruiz de Alegría 7c52ed669a
KDE: fix panel launchers
2021-08-27 13:47:25 +02:00

11 lines
496 B
JavaScript

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']);
}
});
});