Quickly select multiple events


A small quality-of-life improvement: now, by holding the shift key when clicking checkboxes, you can select a range of events to re-emit or delete.