mirrors/v
1
0
Fork 0
mirror of https://github.com/vlang/v.git synced 2025-09-15 07:22:27 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 12

vdoc: optimize generated pages (#19185)

Browse source
This commit is contained in:
Turiiya 2023-08-21 09:55:37 +02:00 • committed by GitHub
parent 01cb30c023
commit d748b212d4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
cmd/tools/vdoc/theme/doc.css
View file

@ -280,7 +280,7 @@ body {
}
.doc-nav > .content > ul > li > ul > li.active {
border-color: #00000066;
border-color: var(--menu-search-result-hover-background-color);
border-color: var(--menu-indent-line-active-color);
}
.doc-nav > .content a {
color: #fff;

8
cmd/tools/vdoc/theme/doc.js
View file

@ -11,8 +11,6 @@
function setupScrollSpy() {
const mainContent = document.querySelector('#main-content');
// Ensure initial keyboard navigability
mainContent.focus();
const toc = mainContent.querySelector('.doc-toc');
const sections = mainContent.querySelectorAll('section');
const sectionPositions = Array.from(sections).map((section) => section.offsetTop);
@ -168,6 +166,7 @@ function setupSearch() {
function setupSearchKeymaps() {
const searchInput = document.querySelector('#search input');
const mainContent = document.querySelector('#main-content');
// Keyboard shortcut indicator
const searchKeys = document.createElement('div');
const modifierKeyPrefix = navigator.platform.includes('Mac') ? '⌘' : 'Ctrl';
@ -190,7 +189,7 @@ function setupSearchKeymaps() {
results[selectedIdx].classList.remove('selected');
}
results[newIdx].classList.add('selected');
results[newIdx].scrollIntoView({ behavior: 'smooth', block: 'end', inline: 'nearest' });
results[newIdx].scrollIntoView({ behavior: 'instant', block: 'nearest', inline: 'nearest' });
selectedIdx = newIdx;
}
searchInput.addEventListener('keydown', (ev) => {
@ -198,6 +197,7 @@ function setupSearchKeymaps() {
switch (ev.key) {
case 'Escape':
searchInput.blur();
mainContent.focus();
break;
case 'Enter':
if (!searchResults.length || selectedIdx === -1) break;
@ -229,6 +229,8 @@ function setupSearchKeymaps() {
selectedIdx = -1;
}
});
// Ensure initial keyboard navigability
mainContent.focus();
}
function createSearchResult(data) {