diff options
| author | nzeh <nzeh@cs.dal.ca> | 2009-04-09 14:46:58 +0200 |
|---|---|---|
| committer | nzeh <nzeh@cs.dal.ca> | 2009-04-09 14:46:58 +0200 |
| commit | 89af7bf2fe33dce5dea70bc7564dbdca69117e37 (patch) | |
| tree | 9731ae03a8a10701837dbb8a85c666c7caf68449 /Plugins/PipeReader.hs | |
| parent | 83243937b55862136a0d41303d318d07e51db982 (diff) | |
| download | xmobar-89af7bf2fe33dce5dea70bc7564dbdca69117e37.tar.gz xmobar-89af7bf2fe33dce5dea70bc7564dbdca69117e37.tar.bz2 | |
Wrapped pixel allocation in DynPixel type
The (Bool, Pixel) pair for controlling the allocation and deallocation of
pixels seemed hackish. This version is a compromise between not having to
add too much boilerplate and being more expressive.
darcs-hash:20090409124658-c6b6b-5758e748a7e1591f22abb83160594323b472da3a.gz
Diffstat (limited to 'Plugins/PipeReader.hs')
0 files changed, 0 insertions, 0 deletions