The libsdl1.2 package in Ubuntu is no longer carrying that patch, debian/patches/005_lock_keys.diff. So I don't think that's quite the cause of this.
The libsdl1.2 package in Ubuntu is no longer carrying that patch, debian/ patches/ 005_lock_ keys.diff. So I don't think that's quite the cause of this.