BBEdit editor integration
