v2.3.1

Fix a very dubious decision I made years ago about how to handle situations where the GUI was becoming laggy (e.g. due to opening some huge file or something). Previously some important user inputs might be dropped in such a situation; but now hopefully only unimportant user inputs will be dropped.

Tell me if you notice any lag (responsiveness issues) caused by this change.