2
function findWidgetsIn(containment, type)
4
var widgetIds = containment.widgetIds
5
for (id in widgetIds) {
6
var widget = containment.widgetById(widgetIds[id])
7
if (widget.type == type) {
15
this.findWidgets = function(type)
18
if (findWidgetsIn(panelById(panelIds[i]), type)) {
23
for (i in activityIds) {
24
if (findWidgetsIn(activityById(activityIds[i]), type)) {
32
if (!findWidgets('org.kde.showActivityManager')) {
36
found = findWidgetsIn(panels[i], 'launcher')
38
var showWidget = panels[i].addWidget("org.kde.showActivityManager")
39
showWidget.index = found.index + 1;
44
if (!found && panels.length > 0) {
45
var showWidget = panels[i].addWidget("org.kde.showActivityManager")