unknown-horizons/unknown-horizons — pull request #1820 by ChrisOelmueller (2012-08-23 16:23:09+00:00)
Title: * Make all popups modal by default

This means that currently all popups are blocking user interaction that
is targetted at elements outside of the popup. Committing to a branch so
that we can try to spot locations where this is not desired and fix
those by toggling the optional parameter *modal* which defaults to True.