On 2/17/21 9:12 AM, Gavin Smith wrote:
On Wed, Feb 17, 2021 at 07:43:28AM -0800, Per Bothner wrote:
I checked in a fix for this
Author: Per Bothner <[email protected]>
Date: Wed Feb 17 07:39:45 2021 -0800
js/info.js (scan_toc): Change to how sidebar links are matched.
This fixes updating the sidebar when using a http/https URL.
See updated: https://per.bothner.com/tmp/DomTerm-txjs/Tips-and-solutions.html
I don't notice any difference.
These two problems are solved now:
* js-info sidebar shows too many entries (in my opinion).
Compare https://per.bothner.com/tmp/DomTerm-txjs/Tips-and-solutions.html
with https://domterm.org/Tips-and-solutions.html
[This requires changes to info.js which I can probably handle.]
* Related: Boldface or other emphasis in the sidebar for the current page
is I think helpful.
Note this only happened for http:/https:, not for file:.
--
--Per Bothner
[email protected] http://per.bothner.com/