gryf/wmdocklib
1
0
Fork 0
mirror of https://github.com/gryf/wmdocklib.git synced 2025-12-19 12:28:10 +01:00
Code Issues Projects Releases Wiki Activity

1575762: of pixmask

Browse Source 
hard coded 3 pixels margin.  it should actually be configurable, but better this than nothing.
This commit is contained in:
mfrasca
2006-10-12 19:14:50 +00:00
parent 70a5bc50ed
commit 651b44127d
3 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/pywmhdmon.py
View File

@@ -471,6 +471,7 @@ def main():
background = \
['0000000000000000000000000000000000000000000000000000000000000000',
'0000000000000000000000000000000000000000000000000000000000000000',
'0044400555002220055500555000000000000000000000000000000000000000',
'0044400555002220055500555000000000000000000000000000000000000000',
'0044400555002220055500555000000000000000000000000000000000000000',
@@ -522,7 +523,6 @@ background = \
'0044400000000000000000000000000000000000000000000000000000000000',
'0044400000000000000000000000000000000000000000000000000000000000',
'0044400000000000000000000000000000000000000000000000000000000000',
'0044400000000000000000000000000000000000000000000000000000000000',
'0044400077777777777777777777777777777777777777777777777777777777',
'0044400077777777777777777777777777777777777777777777777777777777',
'0044400077777777777777777777777777777777777777777777777777777777',
@@ -537,7 +537,7 @@ background = \
]
char_width, char_height = wmdocklib.initPixmap(background,
font_name='5x7',
font_name='6x8',
bg='8', fg='a')
if __name__ == '__main__':