Board Thread:Support Requests - Getting Technical/@comment-33800918-20170722004549/@comment-27958705-20170723094600

one still can change default editor in the user preferences.