Changed Rename project explorer. #512 Skip project selection when there is only one project. #516 Fixed Fix: terminals were wrongly closed. #513