Code Editor : event_queue.h