code: function showHighlight() {
          var doc = getLiveDocForEditor(EditorManager.getActiveEditor());
  
          if (doc && doc.updateHighlight) {
              doc.updateHighlight();
          }
      }
docs: Enable highlighting