hunk.code_window:   fetchPage: (pageId: string) => void;
     updateCurrentPage: (pageId: string) => void;
     isPageLevelSocketConnected: boolean;
     collabStartSharingPointerEvent: (pageId: string) => void;
     collabStopSharingPointerEvent: () => void;
   };
   type Props = EditorProps & RouteComponentProps<BuilderRouteParams>;
   class Editor extends Component<Props> {
  
hunk.labels: keep keep keep keep replace keep keep keep keep keep
hunk.after_edit:   collabStopSharingPointerEvent: (pageId?: string) => void;
  
hunk.file_path: app/client/src/pages/Editor/index.tsx
hunk.type: replace
file: import Widget from "./widget";
  import IconSVG from "./icon.svg";
  import { GRID_DENSITY_MIGRATION_V1 } from "widgets/constants";
  
  export const CONFIG = {
    type: Widget.getWidgetType(),
    name: "Rich Text Editor",
    iconSVG: IconSVG,
    needsMeta: true,
    defaults: {
      defaultText: "This is the initial <b>content</b> of the editor",
      rows: 5 * GRID_DENSITY_MIGRATION_V1,
      columns: 6 * GRID_DENSITY_MIGRATION_V1,
      isDisabled: false,
      isVisible: true,
      isRequired: false,
      widgetName: "RichTextEditor",
      isDefaultClickDisabled: true,
      inputType: "html",
      version: 1,
    },
    properties: {
      derived: Widget.getDerivedPropertiesMap(),
      default: Widget.getDefaultPropertiesMap(),
      meta: Widget.getMetaPropertiesMap(),
      config: Widget.getPropertyPaneConfig(),
    },
  };
  
  export default Widget;
  