2021-08-07 10:27:45 +00:00
filteringContext = {
dependencies : { } ,
restrictedDependencies : [ ] ,
activeFilters : [ ]
}
let highlightedAnchor ;
let topNavbarOffset ;
2021-12-25 08:06:58 +00:00
let instances = [ ] ;
let sourcesetNotification ;
const samplesDarkThemeName = 'darcula'
const samplesLightThemeName = 'idea'
2021-08-07 10:27:45 +00:00
window . addEventListener ( 'load' , ( ) => {
document . querySelectorAll ( "div[data-platform-hinted]" )
2021-12-25 08:06:58 +00:00
. forEach ( elem => elem . addEventListener ( 'click' , ( event ) => togglePlatformDependent ( event , elem ) ) )
2021-08-07 10:27:45 +00:00
document . querySelectorAll ( "div[tabs-section]" )
. forEach ( elem => elem . addEventListener ( 'click' , ( event ) => toggleSectionsEventHandler ( event ) ) )
const filterSection = document . getElementById ( 'filter-section' )
if ( filterSection ) {
filterSection . addEventListener ( 'click' , ( event ) => filterButtonHandler ( event ) )
initializeFiltering ( )
}
initTabs ( )
handleAnchor ( )
initHidingLeftNavigation ( )
topNavbarOffset = document . getElementById ( 'navigation-wrapper' )
2021-12-25 08:06:58 +00:00
darkModeSwitch ( )
2021-08-07 10:27:45 +00:00
} )
2021-09-23 07:24:15 +00:00
const darkModeSwitch = ( ) => {
const localStorageKey = "dokka-dark-mode"
const storage = localStorage . getItem ( localStorageKey )
2022-11-15 04:06:46 +00:00
const osDarkSchemePreferred = window . matchMedia && window . matchMedia ( '(prefers-color-scheme: dark)' ) . matches
const darkModeEnabled = storage ? JSON . parse ( storage ) : osDarkSchemePreferred
2021-09-23 07:24:15 +00:00
const element = document . getElementById ( "theme-toggle-button" )
2022-11-15 04:06:46 +00:00
initPlayground ( darkModeEnabled ? samplesDarkThemeName : samplesLightThemeName )
2021-09-23 07:24:15 +00:00
element . addEventListener ( 'click' , ( ) => {
const enabledClasses = document . getElementsByTagName ( "html" ) [ 0 ] . classList
enabledClasses . toggle ( "theme-dark" )
//if previously we had saved dark theme then we set it to light as this is what we save in local storage
const darkModeEnabled = enabledClasses . contains ( "theme-dark" )
if ( darkModeEnabled ) {
initPlayground ( samplesDarkThemeName )
2021-12-25 08:06:58 +00:00
} else {
2021-09-23 07:24:15 +00:00
initPlayground ( samplesLightThemeName )
}
localStorage . setItem ( localStorageKey , JSON . stringify ( darkModeEnabled ) )
} )
}
const initPlayground = ( theme ) => {
2021-12-25 08:06:58 +00:00
if ( ! samplesAreEnabled ( ) ) return
2021-09-23 07:24:15 +00:00
instances . forEach ( instance => instance . destroy ( ) )
instances = [ ]
// Manually tag code fragments as not processed by playground since we also manually destroy all of its instances
document . querySelectorAll ( 'code.runnablesample' ) . forEach ( node => {
node . removeAttribute ( "data-kotlin-playground-initialized" ) ;
} )
KotlinPlayground ( 'code.runnablesample' , {
getInstance : playgroundInstance => {
instances . push ( playgroundInstance )
} ,
theme : theme
} ) ;
}
// We check if type is accessible from the current scope to determine if samples script is present
// As an alternative we could extract this samples-specific script to new js file but then we would handle dark mode in 2 separate files which is not ideal
const samplesAreEnabled = ( ) => {
try {
KotlinPlayground
return true
} catch ( e ) {
return false
}
}
2021-08-07 10:27:45 +00:00
const initHidingLeftNavigation = ( ) => {
2021-12-25 08:06:58 +00:00
document . getElementById ( "leftToggler" ) . onclick = function ( event ) {
2021-08-07 10:27:45 +00:00
//Events need to be prevented from bubbling since they will trigger next handler
event . preventDefault ( ) ;
event . stopPropagation ( ) ;
event . stopImmediatePropagation ( ) ;
document . getElementById ( "leftColumn" ) . classList . toggle ( "open" ) ;
}
document . getElementById ( "main" ) . onclick = ( ) => {
document . getElementById ( "leftColumn" ) . classList . remove ( "open" ) ;
}
}
// Hash change is needed in order to allow for linking inside the same page with anchors
// If this is not present user is forced to refresh the site in order to use an anchor
window . onhashchange = handleAnchor
2021-12-25 08:06:58 +00:00
function scrollToElementInContent ( element ) {
const scrollToElement = ( ) => document . getElementById ( 'main' ) . scrollTo ( {
top : element . offsetTop - topNavbarOffset . offsetHeight ,
behavior : "smooth"
} )
2021-08-07 10:27:45 +00:00
const waitAndScroll = ( ) => {
setTimeout ( ( ) => {
2021-12-25 08:06:58 +00:00
if ( topNavbarOffset ) {
2021-08-07 10:27:45 +00:00
scrollToElement ( )
} else {
waitForScroll ( )
}
} , 50 )
}
2021-12-25 08:06:58 +00:00
if ( topNavbarOffset ) {
2021-08-07 10:27:45 +00:00
scrollToElement ( )
} else {
waitAndScroll ( )
}
}
function handleAnchor ( ) {
2021-12-25 08:06:58 +00:00
if ( highlightedAnchor ) {
2021-08-07 10:27:45 +00:00
highlightedAnchor . classList . remove ( 'anchor-highlight' )
highlightedAnchor = null ;
}
2023-03-16 14:02:40 +00:00
let searchForContentTarget = function ( element ) {
2021-12-25 08:06:58 +00:00
if ( element && element . hasAttribute ) {
2023-03-16 14:02:40 +00:00
if ( element . hasAttribute ( "data-togglable" ) ) return element . getAttribute ( "data-togglable" ) ;
else return searchForContentTarget ( element . parentNode )
2021-08-07 10:27:45 +00:00
} else return null
}
2023-03-16 14:02:40 +00:00
let findAnyTab = function ( target ) {
let result = null
document . querySelectorAll ( 'div[tabs-section] > button[data-togglable]' )
. forEach ( node => {
if ( node . getAttribute ( "data-togglable" ) . split ( "," ) . includes ( target ) ) {
result = node
}
} )
return result
}
2021-08-07 10:27:45 +00:00
let anchor = window . location . hash
if ( anchor != "" ) {
anchor = anchor . substring ( 1 )
2021-12-25 08:06:58 +00:00
let element = document . querySelector ( 'a[data-name="' + anchor + '"]' )
2023-03-16 14:02:40 +00:00
2021-08-07 10:27:45 +00:00
if ( element ) {
const content = element . nextElementSibling
2023-03-16 14:02:40 +00:00
const contentStyle = window . getComputedStyle ( content )
if ( contentStyle . display == 'none' ) {
let tab = findAnyTab ( searchForContentTarget ( content ) )
if ( tab ) {
toggleSections ( tab )
}
}
2021-12-25 08:06:58 +00:00
if ( content ) {
2021-08-07 10:27:45 +00:00
content . classList . add ( 'anchor-highlight' )
highlightedAnchor = content
}
scrollToElementInContent ( element )
}
}
}
2021-12-25 08:06:58 +00:00
function initTabs ( ) {
2021-08-07 10:27:45 +00:00
document . querySelectorAll ( "div[tabs-section]" )
. forEach ( element => {
showCorrespondingTabBody ( element )
element . addEventListener ( 'click' , ( event ) => toggleSectionsEventHandler ( event ) )
} )
let cached = localStorage . getItem ( "active-tab" )
if ( cached ) {
let parsed = JSON . parse ( cached )
let tab = document . querySelector ( 'div[tabs-section] > button[data-togglable="' + parsed + '"]' )
2021-12-25 08:06:58 +00:00
if ( tab ) {
2021-08-07 10:27:45 +00:00
toggleSections ( tab )
}
}
}
2021-09-23 07:24:15 +00:00
function showCorrespondingTabBody ( element ) {
const buttonWithKey = element . querySelector ( "button[data-active]" )
if ( buttonWithKey ) {
2023-03-16 14:02:40 +00:00
toggleSections ( buttonWithKey )
2021-09-23 07:24:15 +00:00
}
2021-08-07 10:27:45 +00:00
}
function filterButtonHandler ( event ) {
2021-12-25 08:06:58 +00:00
if ( event . target . tagName == "BUTTON" && event . target . hasAttribute ( "data-filter" ) ) {
let sourceset = event . target . getAttribute ( "data-filter" )
if ( filteringContext . activeFilters . indexOf ( sourceset ) != - 1 ) {
filterSourceset ( sourceset )
} else {
unfilterSourceset ( sourceset )
2021-08-07 10:27:45 +00:00
}
2021-12-25 08:06:58 +00:00
}
2021-08-07 10:27:45 +00:00
}
function initializeFiltering ( ) {
filteringContext . dependencies = JSON . parse ( sourceset _dependencies )
document . querySelectorAll ( "#filter-section > button" )
. forEach ( p => filteringContext . restrictedDependencies . push ( p . getAttribute ( "data-filter" ) ) )
Object . keys ( filteringContext . dependencies ) . forEach ( p => {
filteringContext . dependencies [ p ] = filteringContext . dependencies [ p ]
. filter ( q => - 1 !== filteringContext . restrictedDependencies . indexOf ( q ) )
} )
let cached = window . localStorage . getItem ( 'inactive-filters' )
if ( cached ) {
let parsed = JSON . parse ( cached )
filteringContext . activeFilters = filteringContext . restrictedDependencies
2021-12-25 08:06:58 +00:00
. filter ( q => parsed . indexOf ( q ) == - 1 )
2021-08-07 10:27:45 +00:00
} else {
filteringContext . activeFilters = filteringContext . restrictedDependencies
}
refreshFiltering ( )
}
function filterSourceset ( sourceset ) {
filteringContext . activeFilters = filteringContext . activeFilters . filter ( p => p != sourceset )
refreshFiltering ( )
addSourcesetFilterToCache ( sourceset )
}
function unfilterSourceset ( sourceset ) {
2021-12-25 08:06:58 +00:00
if ( filteringContext . activeFilters . length == 0 ) {
2021-08-07 10:27:45 +00:00
filteringContext . activeFilters = filteringContext . dependencies [ sourceset ] . concat ( [ sourceset ] )
refreshFiltering ( )
filteringContext . dependencies [ sourceset ] . concat ( [ sourceset ] ) . forEach ( p => removeSourcesetFilterFromCache ( p ) )
} else {
filteringContext . activeFilters . push ( sourceset )
refreshFiltering ( )
removeSourcesetFilterFromCache ( sourceset )
}
}
function addSourcesetFilterToCache ( sourceset ) {
let cached = localStorage . getItem ( 'inactive-filters' )
if ( cached ) {
let parsed = JSON . parse ( cached )
localStorage . setItem ( 'inactive-filters' , JSON . stringify ( parsed . concat ( [ sourceset ] ) ) )
} else {
localStorage . setItem ( 'inactive-filters' , JSON . stringify ( [ sourceset ] ) )
}
}
function removeSourcesetFilterFromCache ( sourceset ) {
let cached = localStorage . getItem ( 'inactive-filters' )
if ( cached ) {
let parsed = JSON . parse ( cached )
localStorage . setItem ( 'inactive-filters' , JSON . stringify ( parsed . filter ( p => p != sourceset ) ) )
}
}
function toggleSections ( target ) {
const activateTabs = ( containerClass ) => {
2021-12-25 08:06:58 +00:00
for ( const element of document . getElementsByClassName ( containerClass ) ) {
for ( const child of element . children ) {
if ( child . getAttribute ( "data-togglable" ) === target . getAttribute ( "data-togglable" ) ) {
2021-08-07 10:27:45 +00:00
child . setAttribute ( "data-active" , "" )
} else {
child . removeAttribute ( "data-active" )
}
}
}
}
2023-03-16 14:02:40 +00:00
const toggleTargets = target . getAttribute ( "data-togglable" ) . split ( "," )
const activateTabsBody = ( containerClass ) => {
document . querySelectorAll ( "." + containerClass + " *[data-togglable]" )
. forEach ( child => {
if ( toggleTargets . includes ( child . getAttribute ( "data-togglable" ) ) ) {
child . setAttribute ( "data-active" , "" )
} else if ( ! child . classList . contains ( "sourceset-dependent-content" ) ) { // data-togglable is used to switch source set as well, ignore it
child . removeAttribute ( "data-active" )
}
} )
}
2021-08-07 10:27:45 +00:00
activateTabs ( "tabs-section" )
2023-03-16 14:02:40 +00:00
activateTabsBody ( "tabs-section-body" )
2021-08-07 10:27:45 +00:00
}
2021-12-25 08:06:58 +00:00
function toggleSectionsEventHandler ( evt ) {
if ( ! evt . target . getAttribute ( "data-togglable" ) ) return
2023-03-16 14:02:40 +00:00
localStorage . setItem ( 'active-tab' , JSON . stringify ( evt . target . getAttribute ( "data-togglable" ) ) )
2021-08-07 10:27:45 +00:00
toggleSections ( evt . target )
}
function togglePlatformDependent ( e , container ) {
let target = e . target
if ( target . tagName != 'BUTTON' ) return ;
let index = target . getAttribute ( 'data-toggle' )
2021-12-25 08:06:58 +00:00
for ( let child of container . children ) {
if ( child . hasAttribute ( 'data-toggle-list' ) ) {
for ( let bm of child . children ) {
if ( bm == target ) {
bm . setAttribute ( 'data-active' , "" )
} else if ( bm != target ) {
2021-08-07 10:27:45 +00:00
bm . removeAttribute ( 'data-active' )
}
}
2021-12-25 08:06:58 +00:00
} else if ( child . getAttribute ( 'data-togglable' ) == index ) {
child . setAttribute ( 'data-active' , "" )
} else {
2021-08-07 10:27:45 +00:00
child . removeAttribute ( 'data-active' )
}
}
}
function refreshFiltering ( ) {
let sourcesetList = filteringContext . activeFilters
document . querySelectorAll ( "[data-filterable-set]" )
. forEach (
elem => {
let platformList = elem . getAttribute ( "data-filterable-set" ) . split ( ' ' ) . filter ( v => - 1 !== sourcesetList . indexOf ( v ) )
elem . setAttribute ( "data-filterable-current" , platformList . join ( ' ' ) )
}
)
refreshFilterButtons ( )
refreshPlatformTabs ( )
2021-12-25 08:06:58 +00:00
refreshNoContentNotification ( )
}
function refreshNoContentNotification ( ) {
const element = document . getElementsByClassName ( "main-content" ) [ 0 ]
if ( filteringContext . activeFilters . length === 0 ) {
element . style . display = "none" ;
const appended = document . createElement ( "div" )
appended . className = "filtered-message"
appended . innerText = "All documentation is filtered, please adjust your source set filters in top-right corner of the screen"
sourcesetNotification = appended
element . parentNode . prepend ( appended )
} else {
if ( sourcesetNotification ) sourcesetNotification . remove ( )
element . style . display = "block"
}
2021-08-07 10:27:45 +00:00
}
function refreshPlatformTabs ( ) {
document . querySelectorAll ( ".platform-hinted > .platform-bookmarks-row" ) . forEach (
p => {
let active = false ;
let firstAvailable = null
p . childNodes . forEach (
element => {
2021-12-25 08:06:58 +00:00
if ( element . getAttribute ( "data-filterable-current" ) != '' ) {
if ( firstAvailable == null ) {
2021-08-07 10:27:45 +00:00
firstAvailable = element
}
2021-12-25 08:06:58 +00:00
if ( element . hasAttribute ( "data-active" ) ) {
2021-08-07 10:27:45 +00:00
active = true ;
}
}
}
)
2021-12-25 08:06:58 +00:00
if ( active == false && firstAvailable ) {
2021-08-07 10:27:45 +00:00
firstAvailable . click ( )
}
}
)
}
function refreshFilterButtons ( ) {
document . querySelectorAll ( "#filter-section > button" )
. forEach ( f => {
2021-12-25 08:06:58 +00:00
if ( filteringContext . activeFilters . indexOf ( f . getAttribute ( "data-filter" ) ) != - 1 ) {
f . setAttribute ( "data-active" , "" )
2021-08-07 10:27:45 +00:00
} else {
f . removeAttribute ( "data-active" )
}
} )
}