Author: Cyp <cyp@...>
Date: 2013-03-02 (Sat, 02 Mar 2013)
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.