Merge branch 'pf/editor-ignore-sigint'