code: public void setEditorSettings(Map<String, String> settings) {
  
          m_editorSettings = new TreeMap<String, String>(settings);
      }
docs: Sets the editor settings of the user.<p>
  
  @param settings the editor settings of the user