Public Git Hosting - wmaker-crm.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 0c1881e) | patch

commit	1cd1f16c3cb14670fbd362b60843970e5b86713c
author	dan <dan>
	Thu, 28 Feb 2002 11:01:39 +0000 (28 11:01 +0000)
committer	dan <dan>
	Thu, 28 Feb 2002 11:01:39 +0000 (28 11:01 +0000)
tree	4b7aa328e6b76cae3bd24ab12d45da85b4c99abd	tree \| snapshot (tar.gz zip)
parent	0c1881e224b62fabc16afe5392eb939fb21f63db	commit \| diff

fixed bug in WMSetButtonEnabled and WMSetButtonSelected

WINGs/wbutton.c		diff \| blob \| blame \| history
WINGs/wfont.c		diff \| blob \| blame \| history

The Window Maker window manager