From b35d05a73b57c78e810137100934b0c31437f524 Mon Sep 17 00:00:00 2001 From: mfrasca <> Date: Thu, 12 Oct 2006 19:22:57 +0000 Subject: [PATCH] 1575762: of pixmask hard coded 3 pixels margin. it should actually be configurable, but better this than nothing. and on the right side we need some more margin to get a symmetrical effect. --- wmdocklib/pywmhelpers.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/wmdocklib/pywmhelpers.py b/wmdocklib/pywmhelpers.py index 92fa744..1b39e2a 100644 --- a/wmdocklib/pywmhelpers.py +++ b/wmdocklib/pywmhelpers.py @@ -220,9 +220,9 @@ def initPixmap(xpm_background=None, ] + [ '0'*64 + item for item in xpm_background[:3] ] + [ - '000'+bg*(64-6)+'000' + item for item in xpm_background[3:-3] + '000'+bg*(64-8)+'00000' + item for item in xpm_background[3:-4] ] + [ - '0'*64 + item for item in xpm_background[-3:] + '0'*64 + item for item in xpm_background[-4:] ] + [ line.replace('%', fg).replace(' ', bg) for line in char_map