Eric Huss 45e2158e84 Merge pull request #2982 from ehuss/fix-sidebar-scroll ...

Fix sidebar scroll position when heading nav is involved

2025-12-11 19:21:21 +00:00

..

gui

Fix sidebar scroll position when heading nav is involved

2025-12-11 11:13:47 -08:00

testsuite

Don't rebuild preprocessor map during test

2025-12-10 13:42:15 -08:00