|
| From: | Simon Albrecht |
| Subject: | Re: Two suggestions for documentation |
| Date: | Fri, 16 Feb 2018 15:58:41 +0100 |
On 16.02.2018 12:51, Peter Toye wrote:
2) In at least the Learning and Notation manuals, add an alphabet with links at the head of each index. The indexes are (of necessity) very long, and scrolling down them is a bit of a pain.
In the HTML versions, all the indices have this at the top and bottom. You are referring to the PDF? I don’t know why they should be different… but maybe just switch to HTML ;-) Or file a bug report.
Best, Simon
| [Prev in Thread] | Current Thread | [Next in Thread] |