section on editor integration