The source project of this merge request has been removed.
tasklist: Auto-adjust icon size
Auto-adjust icon sizes independent of whether showing labels.
Before:
After:
Additional changes made by this patch:
- Removal of hard-coded constants when drawing the circled number of windows in a group
- Repaint group button icon when its size changes
- Tasklist's default button size is increased from 25 to 32 pixels in order to avoid icons being cropped at the bottom and at the top
- Fix a memory leak
Closes: #90 (closed)
See also: #354 (closed)
Please test this patch. Thanks.
Edited by Ghost User