mirrors/ghostty
1
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-10-17 07:16:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

prettier

Browse Source
This commit is contained in:
Mitchell Hashimoto
2025-10-06 08:45:24 -07:00
parent 9194d6c496
commit ffbdfbd1e6
3 changed files with 1801 additions and 1590 deletions
Download Patch File Download Diff File Expand all files Collapse all files

50
dist/doxygen/mobile-nav.js vendored
View File

@@ -2,7 +2,7 @@
* Mobile navigation toggle for Doxygen documentation
*/
(function() {
(function () {
// Only run on mobile devices
function isMobile() {
return window.innerWidth <= 767;
@@ -10,56 +10,56 @@
function initMobileNav() {
if (!isMobile()) return;
const pageNav = document.getElementById('page-nav');
const pageNav = document.getElementById("page-nav");
if (!pageNav) return;
// Create toggle button
const toggleBtn = document.createElement('button');
toggleBtn.id = 'page-nav-toggle';
toggleBtn.setAttribute('aria-label', 'Toggle page navigation');
toggleBtn.innerHTML = '<span></span><span></span><span></span>';
const toggleBtn = document.createElement("button");
toggleBtn.id = "page-nav-toggle";
toggleBtn.setAttribute("aria-label", "Toggle page navigation");
toggleBtn.innerHTML = "<span></span><span></span><span></span>";
document.body.appendChild(toggleBtn);
// Create backdrop
const backdrop = document.createElement('div');
backdrop.id = 'page-nav-backdrop';
const backdrop = document.createElement("div");
backdrop.id = "page-nav-backdrop";
document.body.appendChild(backdrop);
// Toggle function
function toggleNav() {
const isOpen = pageNav.classList.toggle('mobile-open');
backdrop.classList.toggle('active', isOpen);
document.body.style.overflow = isOpen ? 'hidden' : '';
const isOpen = pageNav.classList.toggle("mobile-open");
backdrop.classList.toggle("active", isOpen);
document.body.style.overflow = isOpen ? "hidden" : "";
}
// Event listeners
toggleBtn.addEventListener('click', toggleNav);
backdrop.addEventListener('click', toggleNav);
toggleBtn.addEventListener("click", toggleNav);
backdrop.addEventListener("click", toggleNav);
// Close on escape key
document.addEventListener('keydown', function(e) {
if (e.key === 'Escape' && pageNav.classList.contains('mobile-open')) {
document.addEventListener("keydown", function (e) {
if (e.key === "Escape" && pageNav.classList.contains("mobile-open")) {
toggleNav();
}
});
}
// Initialize on load and resize
if (document.readyState === 'loading') {
document.addEventListener('DOMContentLoaded', initMobileNav);
if (document.readyState === "loading") {
document.addEventListener("DOMContentLoaded", initMobileNav);
} else {
initMobileNav();
}
window.addEventListener('resize', function() {
const pageNav = document.getElementById('page-nav');
const backdrop = document.getElementById('page-nav-backdrop');
window.addEventListener("resize", function () {
const pageNav = document.getElementById("page-nav");
const backdrop = document.getElementById("page-nav-backdrop");
if (!isMobile() && pageNav) {
pageNav.classList.remove('mobile-open');
if (backdrop) backdrop.classList.remove('active');
document.body.style.overflow = '';
pageNav.classList.remove("mobile-open");
if (backdrop) backdrop.classList.remove("active");
document.body.style.overflow = "";
}
});
})();