text-editors in properties  changed to intellij-editor