monaco diff editor options