Code Editor : EventFacet.t