UNPKG

collaborative-ui

Version:

React component library for building real-time collaborative editing applications.

25 lines (24 loc) 1.19 kB
"use strict"; Object.defineProperty(exports, "__esModule", { value: true }); exports.ExplorerPage = void 0; const tslib_1 = require("tslib"); const React = tslib_1.__importStar(require("react")); const util_1 = require("nice-ui/lib/6-page/DocsPages/util"); const content_1 = require("../../../content"); const ConnectedSubNav_1 = require("nice-ui/lib/5-block/SubNav/ConnectedSubNav"); const DocsFooter_1 = require("../../components/DocsFooter"); const JsonCrdtExplorer_1 = require("../../../../JsonCrdtExplorer"); const Space_1 = require("nice-ui/lib/3-list-item/Space"); const Page_1 = require("nice-ui/lib/6-page/Page"); const page = util_1.pageutils.find(content_1.content, ['guidelines']); const ExplorerPage = () => { if (!page) return null; return (React.createElement(React.Fragment, null, React.createElement(ConnectedSubNav_1.ConnectedSubNav, null), React.createElement(Page_1.Page, { hackFooterLocation: true }, React.createElement(Space_1.Space, { size: 3 }), React.createElement(JsonCrdtExplorer_1.JsonCrdtExplorer, null)), React.createElement(DocsFooter_1.DocsFooter, null))); }; exports.ExplorerPage = ExplorerPage;