1
0
mirror of https://github.com/gryf/wmdocklib.git synced 2026-01-07 14:14:12 +01:00

we were cutting the font to 48 lines of data.

added the new fonts to the MANIFEST.
This commit is contained in:
mfrasca
2006-10-25 12:27:37 +00:00
parent cfaf6210f0
commit 807e36d6f6
2 changed files with 2 additions and 3 deletions

View File

@@ -16,7 +16,9 @@ wmdocklib/6x12.xpm
wmdocklib/6x8.xpm wmdocklib/6x8.xpm
wmdocklib/6x8orig.xpm wmdocklib/6x8orig.xpm
wmdocklib/6x8slant.xpm wmdocklib/6x8slant.xpm
wmdocklib/7x12-41c.xpm
wmdocklib/7x8zx.xpm wmdocklib/7x8zx.xpm
wmdocklib/8x12-41c.xpm
wmdocklib/8x8.xpm wmdocklib/8x8.xpm
wmdocklib/8x8zx.xpm wmdocklib/8x8zx.xpm
wmdocklib/README wmdocklib/README

View File

@@ -157,8 +157,6 @@ def initPixmap(background=None,
palette=None, debug = 0): palette=None, debug = 0):
"""builds and sets the pixmap of the program. """builds and sets the pixmap of the program.
a wmdockapp has a 128x112 pixmap
the (width)x(height) upper left area is the work area in which we put the (width)x(height) upper left area is the work area in which we put
what we want to be displayed. what we want to be displayed.
@@ -258,7 +256,6 @@ def initPixmap(background=None,
colorName = fontdef[i+1][1:].split()[1] colorName = fontdef[i+1][1:].split()[1]
font_palette[colorChar] = colorName font_palette[colorChar] = colorName
fontdef = fontdef[1 + int(fontdef[0].split(' ')[2]):] fontdef = fontdef[1 + int(fontdef[0].split(' ')[2]):]
fontdef = (fontdef + [' '*128]*48)[:48]
import re import re
m = re.match(r'.*([0-9]+)x([0-9]+).*', font_name) m = re.match(r'.*([0-9]+)x([0-9]+).*', font_name)