aboutsummaryrefslogtreecommitdiff
path: root/x11-wm/windowmaker/files/patch-src_switchpanel.c
diff options
context:
space:
mode:
Diffstat (limited to 'x11-wm/windowmaker/files/patch-src_switchpanel.c')
-rw-r--r--x11-wm/windowmaker/files/patch-src_switchpanel.c42
1 files changed, 0 insertions, 42 deletions
diff --git a/x11-wm/windowmaker/files/patch-src_switchpanel.c b/x11-wm/windowmaker/files/patch-src_switchpanel.c
deleted file mode 100644
index 9f3bdeed1ffd..000000000000
--- a/x11-wm/windowmaker/files/patch-src_switchpanel.c
+++ /dev/null
@@ -1,42 +0,0 @@
-diff -urbB ../WindowMaker-0.92.0/src/switchpanel.c ./src/switchpanel.c
---- ../WindowMaker-0.92.0/src/switchpanel.c 2004-10-30 00:16:04.000000000 -0700
-+++ ./src/switchpanel.c 2008-12-14 19:59:05.000000000 -0800
-@@ -464,7 +464,7 @@
- iconsThatFitCount= count;
-
- if (width > rect.size.width) {
-- iconsThatFitCount = (WMScreenWidth(scr->wmscreen)-SCREEN_BORDER_SPACING)/ICON_TILE_SIZE;
-+ iconsThatFitCount = (rect.size.width-SCREEN_BORDER_SPACING)/ICON_TILE_SIZE;
- width= iconsThatFitCount*ICON_TILE_SIZE;
- }
-
-@@ -501,6 +501,7 @@
-
- if (!panel->bg) {
- WMFrame *frame = WMCreateFrame(panel->win);
-+ WMColor *darkGray = WMDarkGrayColor(scr->wmscreen);
- WMSetFrameRelief(frame, WRSimple);
- WMSetViewExpandsToParent(WMWidgetView(frame), 0, 0, 0, 0);
-
-@@ -508,10 +509,11 @@
- WMResizeWidget(panel->label, width, LABEL_HEIGHT);
- WMMoveWidget(panel->label, BORDER_SPACE, BORDER_SPACE+ICON_TILE_SIZE+5);
- WMSetLabelRelief(panel->label, WRSimple);
-- WMSetWidgetBackgroundColor(panel->label, WMDarkGrayColor(scr->wmscreen));
-+ WMSetWidgetBackgroundColor(panel->label, darkGray);
- WMSetLabelFont(panel->label, panel->font);
- WMSetLabelTextColor(panel->label, panel->white);
-
-+ WMReleaseColor(darkGray);
- height+= 5;
- }
-
-@@ -604,6 +606,8 @@
- RReleaseImage(panel->bg);
- if (panel->font)
- WMReleaseFont(panel->font);
-+ if (panel->white)
-+ WMReleaseColor(panel->white);
- wfree(panel);
- }
-