chiark / gitweb /
allow dropping profile (*.ini) onto window