Use popup button for animation style instead of option group in WPrefs
commit9b5eaa3d3ed4c9d686e51ae86d64e8082f7b6119
authorTim Taenny <tim@taenny.de>
Thu, 31 Jan 2019 16:34:28 +0000 (31 17:34 +0100)
committerCarlos R. Mafra <crmafra@gmail.com>
Thu, 31 Jan 2019 17:22:49 +0000 (31 17:22 +0000)
treefedacee4c4425ce364753813b1ddd566aef39efd
parent2beb5f2c52c27340ebfc1674e6fa82bb138e769c
Use popup button for animation style instead of option group in WPrefs

To make some room for an additional icon option (yet to be committed)
the options group for selecting the iconification animation is
replaced by a popup button. This allows for adding at least two more
checkboxes in the options and makes adding new animation styles less
painful.
WPrefs.app/Icons.c