text: export const ACTIVE_SNIPPET_DIALECT_CHANGED_EVENT = 'active.snippet.type.changed';
  export const REDRAW_CHART_EVENT = 'result.chart.redraw';
  export const HIDE_FIXED_HEADERS_EVENT = 'result.grid.hide.fixed.headers';
  export const REDRAW_FIXED_HEADERS_EVENT = 'result.grid.redraw.fixed.headers';
  export const SHOW_GRID_SEARCH_EVENT = 'result.grid.show.search';
  export const SHOW_NORMAL_RESULT_EVENT = 'result.grid.show.normal.results';
  