5"use strict";
6
7▶// The amount of time that the cursor must remain still over a hover target before
8// revealing a tooltip.
9//
· · ·
19 * @param {string} extension
20 */
21▶function resourcePath(basename, extension) {
22 return getVar("root-path") + basename + getVar("resource-suffix") + extension;
23}
· · ·
24
25▶function hideMain() {
26 addClass(document.getElementById(MAIN_ID), "hidden");
27 const toggle = document.getElementById("toggle-all-docs");
· · ·
26▶ addClass(document.getElementById(MAIN_ID), "hidden");
27 const toggle = document.getElementById("toggle-all-docs");
28 if (toggle) {
· · ·
31}
32
33▶function showMain() {
34 const main = document.getElementById(MAIN_ID);
35 if (!main) {
+ 111 more matches in this file