Lines Matching refs:page

80      * Clear the interval timer and remove the element from the page.
122 * Encapsulated handling of the search page.
190 * @param {boolean} active True if we are on the search page.
216 // Move 'advanced' sections into the main settings page to allow
230 var page = pagesToSearch[key];
233 page.visible = false;
237 // the page visibility to avoid excessive re-draw.
238 for (var i = 0, childDiv; childDiv = page.pageDiv.children[i]; i++) {
250 page.pageDiv.hidden = false;
258 // After hiding all page content, remove any search results.
287 // If the search string becomes empty, flip back to the default page.
295 // Toggle the search page if necessary. Otherwise, update the hash.
312 var page = pagesToSearch[key];
313 var elements = page.pageDiv.querySelectorAll('section');
331 var page = pagesToSearch[key];
333 page.pageDiv.querySelectorAll('section');
348 var page = subPagesToSearch[key];
349 if (this.highlightMatches_(regExp, page.pageDiv)) {
350 this.revealAssociatedSections_(page);
353 bubbleControls.concat(this.getAssociatedControls_(page));
360 // Configure elements on the search results page based on search results.
363 // Create search balloons for sub-page results.
378 for (var page = subpage; page; page = page.parentPage) {
379 var section = page.associatedSection;
393 for (var page = subpage; page; page = page.parentPage) {
394 if (page.associatedControls)
395 controls = controls.concat(page.associatedControls);
503 * Builds a list of top-level pages to search. Omits the search page and
509 var name, page, pages = [];
512 page = PageManager.registeredPages[name];
513 if (!page.parentPage)
514 pages.push(page);
527 var name, pageInfo, page, pages = [];
529 page = PageManager.registeredPages[name];
530 if (page.parentPage &&
531 page.associatedSection &&
532 !page.associatedSection.hidden) {
533 pages.push(page);
537 page = PageManager.registeredOverlayPages[name];
538 if (page.associatedSection &&
539 !page.associatedSection.hidden &&
540 page.pageDiv != undefined) {
541 pages.push(page);