diff options
| author | Ben Harris <bjh21@bjh21.me.uk> | 2007-04-07 23:33:50 +0000 |
|---|---|---|
| committer | Ben Harris <bjh21@bjh21.me.uk> | 2007-04-07 23:33:50 +0000 |
| commit | f1399b6857d72ebe3a82618226ba019dcc9ce789 (patch) | |
| tree | bde07d017f0aa2ae165dd5892ebfd9634e3811e4 | |
| parent | 41c8948dd5b5030747db24dcae8340235a15149a (diff) | |
| download | halibut-f1399b6857d72ebe3a82618226ba019dcc9ce789.zip halibut-f1399b6857d72ebe3a82618226ba019dcc9ce789.tar.gz halibut-f1399b6857d72ebe3a82618226ba019dcc9ce789.tar.bz2 halibut-f1399b6857d72ebe3a82618226ba019dcc9ce789.tar.xz | |
A few thoughts I had while actually using Halibut's Info output.
[originally from svn r7449]
| -rw-r--r-- | bk_info.c | 19 |
1 files changed, 19 insertions, 0 deletions
@@ -21,6 +21,25 @@ * * Section 1.2: Nodename. Title of section. * * - might be helpful to diagnose duplicate node names! + * + * - more flexibility in heading underlines, like text backend. + * + Given info.el's fontifier, we'd want the following defaults: + * \cfg{info-title-underline}{*} + * \cfg{info-chapter-underline}{=} + * \cfg{info-section-underline}{0}{-} + * \cfg{info-section-underline}{1}{.} + * + * - Indices generated by makeinfo use a menu rather than a bunch of + * cross-references, which reduces visual clutter rather. For + * singly-referenced items, it looks like: + * * toner cartridge, replacing: Toner. + * It does a horrid job on multiply-referenced entries, though, + * perhaps because the name before the colon is meant to be unique. + * + * - The string "*note" is matched case-insensitively, so we could + * make things slightly less ugly by using the lower-case version + * when the user asks for \k. Unfortunately, standalone Info seems + * to match node names case-sensitively, so we can't downcase that. */ #include <stdio.h> |