[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: control over sectioning and splitting
|
From: |
Per Bothner |
|
Subject: |
Re: control over sectioning and splitting |
|
Date: |
Thu, 27 Jul 2023 23:13:52 -0700 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
My priority issue was to be able to vary the splitting level,
but allow sidebar entries to go deeper than the splitting level.
This seems to be working acceptably at this point, by leaving out @node
commands.
See e.g. https://domterm.org/Settings.html
Source: https://github.com/PerBothner/DomTerm/blob/master/doc/DomTerm.texi
I don't remember what changes if any I had to make - probably the js/info.js
around November 2022.
--
--Per Bothner
per@bothner.com http://per.bothner.com/