unknown-horizons/unknown-horizons — pull request #2054 by ChrisOelmueller (2013-03-23 17:52:26+00:00)
Title: Merge ToggleImageButton into ImageButton

This distinction complicated code unnecessarily and i couldn't find good arguments for keeping them separate widgets. Now all ImageButtons can be set active/inactive, but if no inactive_image was specified that doesn't do much.