updated for version 7.4.413
Problem:    MS-Windows: Using US international keyboard layout, inserting dead
	    key by pressing space does not always work.  Issue 250.
Solution:   Let MS-Windows translate the message. (John Wellesz)
Added tag v7-4-413 for changeset 121613e72e39