2019-09-29 00:30:56 +02:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2016-2019 Martin Donath <martin.donath@squidfunk.com>
|
|
|
|
*
|
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
* of this software and associated documentation files (the "Software"), to
|
|
|
|
* deal in the Software without restriction, including without limitation the
|
|
|
|
* rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
|
|
|
|
* sell copies of the Software, and to permit persons to whom the Software is
|
|
|
|
* furnished to do so, subject to the following conditions:
|
|
|
|
*
|
|
|
|
* The above copyright notice and this permission notice shall be included in
|
|
|
|
* all copies or substantial portions of the Software.
|
|
|
|
*
|
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
|
|
|
|
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
|
|
|
|
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
|
|
|
|
* IN THE SOFTWARE.
|
|
|
|
*/
|
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
import { identity } from "ramda"
|
2019-12-17 09:53:16 +01:00
|
|
|
import {
|
|
|
|
EMPTY,
|
|
|
|
MonoTypeOperatorFunction,
|
|
|
|
NEVER,
|
|
|
|
Observable,
|
|
|
|
fromEvent,
|
|
|
|
merge,
|
|
|
|
of,
|
|
|
|
pipe,
|
|
|
|
zip
|
2019-11-27 19:12:49 +01:00
|
|
|
} from "rxjs"
|
2019-12-17 09:53:16 +01:00
|
|
|
import {
|
|
|
|
delay,
|
|
|
|
filter,
|
|
|
|
map,
|
|
|
|
pluck,
|
|
|
|
shareReplay,
|
|
|
|
switchMap,
|
|
|
|
switchMapTo,
|
|
|
|
tap,
|
2019-11-27 19:12:49 +01:00
|
|
|
withLatestFrom
|
|
|
|
} from "rxjs/operators"
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-12-17 09:53:16 +01:00
|
|
|
import { ajax } from "rxjs/ajax"
|
|
|
|
import { Config, isConfig } from "./config"
|
|
|
|
import { setupSearch } from "./search"
|
2019-11-18 21:24:56 +01:00
|
|
|
import {
|
2019-11-27 19:12:49 +01:00
|
|
|
Component,
|
2019-12-17 09:53:16 +01:00
|
|
|
paintHeaderShadow,
|
2019-11-27 19:12:49 +01:00
|
|
|
paintHidden,
|
|
|
|
paintSidebar,
|
2019-11-26 17:56:45 +01:00
|
|
|
switchComponent,
|
2019-11-27 19:12:49 +01:00
|
|
|
watchBottomOffset,
|
2019-11-22 18:42:25 +01:00
|
|
|
watchComponentMap,
|
|
|
|
watchHeader,
|
2019-11-27 19:12:49 +01:00
|
|
|
watchMain,
|
|
|
|
watchSearchReset,
|
|
|
|
watchSidebar,
|
|
|
|
watchToggle,
|
|
|
|
watchTopOffset
|
2019-11-26 17:56:45 +01:00
|
|
|
} from "./theme"
|
2019-09-29 00:30:56 +02:00
|
|
|
import {
|
2019-11-26 17:56:45 +01:00
|
|
|
watchDocument,
|
|
|
|
watchDocumentSwitch,
|
2019-11-22 18:42:25 +01:00
|
|
|
watchLocation,
|
2019-11-26 17:56:45 +01:00
|
|
|
watchLocationFragment,
|
2019-11-18 21:24:56 +01:00
|
|
|
watchMedia,
|
|
|
|
watchViewportOffset,
|
2019-11-26 17:56:45 +01:00
|
|
|
watchViewportSize
|
2019-10-27 18:25:12 +01:00
|
|
|
} from "./ui"
|
2019-11-27 19:12:49 +01:00
|
|
|
import {
|
|
|
|
getElement,
|
|
|
|
not,
|
|
|
|
switchMapIf
|
|
|
|
} from "./utilities"
|
2019-09-29 00:30:56 +02:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
// TBD
|
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
// TODO: put this somewhere else... (merge with config!) JSON schema!?
|
2019-11-26 17:56:45 +01:00
|
|
|
const names = [
|
|
|
|
"header", /* Header */
|
|
|
|
"title", /* Header title */
|
|
|
|
"search", /* Search */
|
|
|
|
"query", /* Search input */
|
|
|
|
"reset", /* Search reset */
|
|
|
|
"result", /* Search results */
|
|
|
|
"container", /* Container */
|
|
|
|
"main", /* Main area */
|
|
|
|
"hero", /* Hero */
|
|
|
|
"tabs", /* Tabs */
|
|
|
|
"navigation", /* Navigation */
|
|
|
|
"toc" /* Table of contents */
|
2019-11-27 19:12:49 +01:00
|
|
|
] as const
|
|
|
|
|
|
|
|
// modernizr for the poor
|
|
|
|
document.documentElement.classList.remove("no-js")
|
|
|
|
document.documentElement.classList.add("js")
|
2019-11-26 17:56:45 +01:00
|
|
|
|
|
|
|
/* ----------------------------------------------------------------------------
|
|
|
|
* Functions
|
|
|
|
* ------------------------------------------------------------------------- */
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Initialize Material for MkDocs
|
|
|
|
*
|
|
|
|
* @param config - Configuration
|
|
|
|
*/
|
|
|
|
export function initialize(config: unknown) {
|
|
|
|
if (!isConfig(config))
|
|
|
|
throw new SyntaxError(`Invalid configuration: ${JSON.stringify(config)}`)
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* ----------------------------------------------------------------------- */
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create viewport observables */
|
|
|
|
const offset$ = watchViewportOffset()
|
|
|
|
const size$ = watchViewportSize()
|
2019-09-29 00:30:56 +02:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create media observables */
|
|
|
|
const screen$ = watchMedia("(min-width: 1220px)")
|
|
|
|
const tablet$ = watchMedia("(min-width: 960px)")
|
2019-11-18 21:24:56 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create location observables */
|
2019-11-27 19:12:49 +01:00
|
|
|
const location$ = watchLocation()
|
2019-11-26 17:56:45 +01:00
|
|
|
const fragment$ = watchLocationFragment()
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create document observables */
|
|
|
|
const load$ = watchDocument()
|
2019-12-17 09:53:16 +01:00
|
|
|
// const switch$ = watchDocumentSwitch({ location$ })
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* ----------------------------------------------------------------------- */
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create component map observable */
|
2019-12-17 09:53:16 +01:00
|
|
|
const components$ = watchComponentMap(names, { load$ })
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
const component = (name: Component): Observable<HTMLElement> => {
|
|
|
|
return components$
|
|
|
|
.pipe(
|
|
|
|
switchComponent(name)
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create header observable */
|
2019-11-27 19:12:49 +01:00
|
|
|
const header$ = component("header")
|
2019-11-26 17:56:45 +01:00
|
|
|
.pipe(
|
|
|
|
switchMap(watchHeader)
|
2019-11-18 21:24:56 +01:00
|
|
|
)
|
2019-09-29 00:30:56 +02:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* Create main area observable */
|
2019-11-27 19:12:49 +01:00
|
|
|
const main$ = component("main")
|
2019-11-26 17:56:45 +01:00
|
|
|
.pipe(
|
|
|
|
switchMap(el => watchMain(el, { size$, offset$, header$ })),
|
|
|
|
shareReplay(1)
|
2019-11-18 21:24:56 +01:00
|
|
|
)
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
// ----------------------------------------------------------------------------
|
|
|
|
|
2019-12-17 09:53:16 +01:00
|
|
|
// // WIP: instant loading
|
|
|
|
// load$
|
|
|
|
// .pipe(
|
|
|
|
// switchMap(({ body }) => fromEvent(body, "click")),
|
|
|
|
// switchMap(ev => {
|
|
|
|
// if (ev.target instanceof HTMLElement) {
|
|
|
|
// const el = ev.target.closest("a") || undefined
|
|
|
|
// if (el) {
|
|
|
|
// if (!/^(https?:|#)/.test(el.getAttribute("href")!)) {
|
|
|
|
// ev.preventDefault()
|
|
|
|
// }
|
|
|
|
// const href = el.href
|
|
|
|
// history.pushState({}, "", href) // TODO: reference necessary!?
|
|
|
|
// return of(href)
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
// return EMPTY
|
|
|
|
// })
|
|
|
|
|
|
|
|
// // try to reduce the jiggle upon instant page load. ideally, the location
|
|
|
|
// // should directly be resolved and the respective document loaded, but
|
|
|
|
// // we must scroll to the top at first and wait at least 250ms.
|
|
|
|
// //
|
|
|
|
// // Furthermore, this doesn't include the back/next buttons of the browser
|
|
|
|
// // which must be delayed
|
|
|
|
// // tap(url => {
|
|
|
|
// // if (!/#/.test(url))
|
|
|
|
// // scrollTo({ top: 0 })
|
|
|
|
// // }) // only when loading something we havent loaded!
|
|
|
|
// // delay(250)
|
|
|
|
// )
|
|
|
|
// .subscribe(location$)
|
|
|
|
|
|
|
|
// location$.subscribe(x => {
|
|
|
|
// console.log("L", x)
|
|
|
|
// })
|
|
|
|
// switch$.subscribe(x => {
|
|
|
|
// console.log("S", x)
|
|
|
|
// })
|
2019-11-27 19:12:49 +01:00
|
|
|
|
2019-11-26 17:56:45 +01:00
|
|
|
/* ----------------------------------------------------------------------- */
|
2019-11-22 18:42:25 +01:00
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
/* Create header shadow toggle */
|
|
|
|
component("header")
|
2019-11-26 17:56:45 +01:00
|
|
|
.pipe(
|
2019-11-27 19:12:49 +01:00
|
|
|
switchMap(el => main$
|
2019-11-26 17:56:45 +01:00
|
|
|
.pipe(
|
2019-11-27 19:12:49 +01:00
|
|
|
paintHeaderShadow(el)
|
2019-11-18 21:24:56 +01:00
|
|
|
)
|
|
|
|
)
|
|
|
|
)
|
2019-11-22 18:42:25 +01:00
|
|
|
.subscribe()
|
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
/* Create sidebar with navigation */
|
|
|
|
component("navigation")
|
|
|
|
.pipe(
|
|
|
|
switchMapIf(screen$, el => watchSidebar(el, { offset$, main$ })
|
|
|
|
.pipe(
|
|
|
|
paintSidebar(el)
|
|
|
|
)
|
|
|
|
),
|
|
|
|
shareReplay(1)
|
|
|
|
)
|
|
|
|
.subscribe()
|
|
|
|
|
|
|
|
/* Create sidebar with table of contents */
|
|
|
|
component("toc")
|
|
|
|
.pipe(
|
|
|
|
switchMapIf(tablet$, el => watchSidebar(el, { offset$, main$ })
|
|
|
|
.pipe(
|
|
|
|
paintSidebar(el)
|
|
|
|
)
|
|
|
|
),
|
|
|
|
shareReplay(1)
|
|
|
|
)
|
|
|
|
.subscribe()
|
|
|
|
|
|
|
|
/* Create tabs visibility toggle */
|
|
|
|
component("tabs")
|
2019-11-22 18:42:25 +01:00
|
|
|
.pipe(
|
2019-11-27 19:12:49 +01:00
|
|
|
switchMapIf(screen$, el => watchTopOffset(el, { size$, offset$, header$ })
|
2019-11-26 17:56:45 +01:00
|
|
|
.pipe(
|
2019-11-27 19:12:49 +01:00
|
|
|
paintHidden(el, 8)
|
2019-11-26 17:56:45 +01:00
|
|
|
)
|
2019-11-27 19:12:49 +01:00
|
|
|
),
|
|
|
|
shareReplay(1)
|
|
|
|
)
|
|
|
|
.subscribe()
|
|
|
|
|
|
|
|
/* Create hero visibility toggle */
|
|
|
|
component("hero")
|
|
|
|
.pipe(
|
|
|
|
switchMap(el => watchTopOffset(el, { size$, offset$, header$ })
|
|
|
|
.pipe(
|
|
|
|
paintHidden(el, 20)
|
|
|
|
)
|
|
|
|
),
|
|
|
|
shareReplay(1)
|
|
|
|
)
|
|
|
|
.subscribe()
|
|
|
|
|
2019-12-17 09:53:16 +01:00
|
|
|
// /* Create header title toggle */
|
|
|
|
// component("main")
|
|
|
|
// .pipe(
|
|
|
|
// delay(1000), // initial delay
|
|
|
|
// switchMap(el => typeof getElement("h1", el) !== "undefined"
|
|
|
|
// ? watchBottomOffset(getElement("h1", el)!, { size$, offset$, header$ })
|
|
|
|
// .pipe(
|
|
|
|
// map(({ y }) => y >= 0),
|
|
|
|
// withLatestFrom(component("title")),
|
|
|
|
// tap(([active, title]) => {
|
|
|
|
// title.dataset.mdState = active ? "active" : ""
|
|
|
|
// })
|
|
|
|
// )
|
|
|
|
// : NEVER
|
|
|
|
// )
|
|
|
|
// )
|
|
|
|
// .subscribe()
|
2019-11-27 19:12:49 +01:00
|
|
|
|
|
|
|
// TODO: replace title as inner text
|
|
|
|
|
|
|
|
/* ----------------------------------------------------------------------- */
|
|
|
|
|
|
|
|
const drawer = getElement<HTMLInputElement>("[data-md-toggle=drawer]")!
|
|
|
|
const search = getElement<HTMLInputElement>("[data-md-toggle=search]")!
|
|
|
|
|
|
|
|
// watchToggle
|
|
|
|
|
|
|
|
// --> watchSearchQuery?
|
|
|
|
|
|
|
|
// watchSearch
|
|
|
|
// watchSearchReset
|
|
|
|
|
|
|
|
// toggles stay the same...
|
2019-11-26 17:56:45 +01:00
|
|
|
|
2019-11-27 19:12:49 +01:00
|
|
|
const a$ = watchToggle(search)
|
|
|
|
.pipe(
|
|
|
|
filter(identity),
|
|
|
|
delay(400)
|
|
|
|
)
|
|
|
|
|
|
|
|
// watchSearchReset()
|
|
|
|
|
|
|
|
const b$ = component("reset")
|
|
|
|
.pipe(
|
|
|
|
switchMap(watchSearchReset)
|
|
|
|
)
|
|
|
|
|
|
|
|
function focusQuery(): MonoTypeOperatorFunction<HTMLElement> {
|
|
|
|
return pipe(
|
|
|
|
tap(el => el.focus())
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
merge(a$, b$)
|
|
|
|
.pipe(
|
|
|
|
switchMapTo(component("query")),
|
|
|
|
focusQuery()
|
|
|
|
)
|
|
|
|
.subscribe()
|
|
|
|
|
|
|
|
/* Return observable factories */
|
2019-11-26 17:56:45 +01:00
|
|
|
return {
|
2019-11-27 19:12:49 +01:00
|
|
|
|
|
|
|
/* User interface */
|
|
|
|
watchDocument: () => load$,
|
2019-12-17 09:53:16 +01:00
|
|
|
// watchDocumentSwitch: () => switch$,
|
2019-11-27 19:12:49 +01:00
|
|
|
watchLocation: () => location$,
|
|
|
|
watchLocationFragment: () => fragment$,
|
|
|
|
watchMediaScreen: () => screen$,
|
|
|
|
watchMediaTablet: () => tablet$,
|
|
|
|
watchViewportOffset: () => offset$,
|
|
|
|
watchViewportSize: () => size$
|
2019-11-26 17:56:45 +01:00
|
|
|
}
|
2019-09-29 00:30:56 +02:00
|
|
|
}
|