declare module "launch-editor";