Merge pull request #3957 from dokuwiki/sectionhighlight
commitef90f5ee8a34a3df28c61296c99b08b26de6b10b
authorAndreas Gohr <andi@splitbrain.org>
Wed, 26 Apr 2023 17:03:17 +0000 (26 19:03 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Apr 2023 17:03:17 +0000 (26 19:03 +0200)
treed9fad4658c8691afa276ddd0b5dc3884d54a9afd
parent91a25860ebdf15b20aa33b98d798cd0c04851206
parent2e60baeaa9f135f358d6333487696ba22771a2e1
Merge pull request #3957 from dokuwiki/sectionhighlight

Avoid flicker when highlighting a section