Matthew Flatt 47297a882e fix problem with switchable-button tool tip ... Closes PR 12562 Merge to v5.3.4 original commit: ff580c212c150e91822c2cdeb8be0f86caa366bf		2013-04-19 08:19:47 -06:00
collects	fix problem with switchable-button tool tip	2013-04-19 08:19:47 -06:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00