kdebase4-workspace/kde-workspace-4.11.0-default-panel-layout.patch
2013-10-25 15:57:46 +11:00

18 lines
1.1 KiB
Diff

diff -urN kde-workspace-4.11.0/plasma/desktop/shell/data/layouts/org.kde.plasma-desktop.defaultPanel/contents/layout.js kde-workspace-4.11.0-patched/plasma/desktop/shell/data/layouts/org.kde.plasma-desktop.defaultPanel/contents/layout.js
--- kde-workspace-4.11.0/plasma/desktop/shell/data/layouts/org.kde.plasma-desktop.defaultPanel/contents/layout.js 2013-07-10 09:44:32.000000000 +1100
+++ kde-workspace-4.11.0-patched/plasma/desktop/shell/data/layouts/org.kde.plasma-desktop.defaultPanel/contents/layout.js 2013-08-21 01:53:33.609285334 +1100
@@ -6,13 +6,9 @@
panel.height = screenGeometry(panel.screen).height > 1024 ? 35 : 27
panel.addWidget("launcher")
-panel.addWidget("org.kde.showActivityManager")
pager = panel.addWidget("pager")
pager.writeConfig("hideWhenSingleDesktop", "true")
-tasks = panel.addWidget("tasks")
+panel.addWidget("tasks")
panel.addWidget("systemtray")
panel.addWidget("digital-clock")
-tasks.currentConfigGroup = new Array("Launchers")
-tasks.writeConfig("browser", "preferred://browser, , , ")
-tasks.writeConfig("filemanager", "preferred://filemanager, , , ")