Better GUI

Improved the event navigation widget + batch operations