3.1: Don't double-submit editboxes.

Don't know if this has any actual effect. Would not have had an effect before supporting multiple widget-related
events in the same update, so not a bugfix over 3.1.0.