parent
b42f303235
commit
071b1a4710
@ -1,28 +0,0 @@
|
||||
diff -U3 -d -r -N plasma-desktop-5.5.4/desktoppackage/contents/updates/obsolete_kickoffrc.js plasma-desktop-5.5.4.fixed/desktoppackage/contents/updates/obsolete_kickoffrc.js
|
||||
--- plasma-desktop-5.5.4/desktoppackage/contents/updates/obsolete_kickoffrc.js 2016-01-26 20:39:46.000000000 +0100
|
||||
+++ plasma-desktop-5.5.4.fixed/desktoppackage/contents/updates/obsolete_kickoffrc.js 2016-02-14 05:42:50.000000000 +0100
|
||||
@@ -1,7 +1,7 @@
|
||||
var kickoffConfig = ConfigFile("kickoffrc");
|
||||
|
||||
kickoffConfig.group = "Favorites";
|
||||
-var favorites = kickoffConfig.readEntry("FavoriteURLs").split(',');
|
||||
+var favorites = kickoffConfig.readEntry("FavoriteURLs");
|
||||
|
||||
kickoffConfig.group = "SystemApplications";
|
||||
var systemApplications = kickoffConfig.readEntry("DesktopFiles").split(',');
|
||||
@@ -18,6 +18,7 @@
|
||||
|
||||
for (var j in panel.widgetIds) {
|
||||
var widget = panel.widgetById(panel.widgetIds[j]);
|
||||
+ widget.currentConfigGroup = ["General"];
|
||||
|
||||
if (widget.type == "org.kde.plasma.kickoff") {
|
||||
if (favorites) {
|
||||
@@ -36,6 +37,7 @@
|
||||
|
||||
for (var j in desktop.widgetIds) {
|
||||
var widget = desktop.widgetById(desktop.widgetIds[j]);
|
||||
+ widget.currentConfigGroup = ["General"];
|
||||
|
||||
if (widget.type == "org.kde.plasma.kickoff") {
|
||||
if (favorites) {
|
Loading…
Reference in new issue