code: private EditorSettings getCurrentSettings() {
  
          EditorSettings result = new EditorSettings();
          result.m_closeBrackets = m_codeMirror.isCloseBrackets();
          result.m_lineWrapping = m_codeMirror.isLineWrapping();
          result.m_highlighting = m_codeMirror.isHighlighting();
          result.m_tabsVisible = m_codeMirror.isTabsVisible();
          result.m_fontSize = m_codeMirror.getFontSize();
          return result;
      }
docs: Returns the current editor settings.<p>
  
  @return the current editor settings