You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We use two distinct styles for multiword index entries, both pervasively:
\indextext{hello world}
\indextext{hello~world}
What is the purpose of the tilde? Does it have any special meaning in the index, or is it just a non-breaking space? In the latter case, why are we doing that? There seems to be no value in trying to force a particular (probably poor) line breaking decision on the already constrained index.
What's turning this question from a mere curiosity into a serious issue is that if you mix the two styles for the purportedly same entry term, you get two separate index entries, and moreover, the tilde collates differently from the space, producing a surprising index order.
Unless there's a good reason against it, I would recommend killing all those tildes.
I'm not aware of any reason for these tildes, and I'd be surprised if they're fixing a line-breaking issue in the index rather than causing one. Can you try stripping them (say, with sed) and see if there are any visual differences? If not, let's get rid of them all. (If there are differences, we'll need to understand why.)
Activity
cpplearner commentedon Nov 18, 2016
dup/general case of #664
tkoeppe commentedon Nov 18, 2016
Yeah, we can keep both issues; #664 to fix existing double-indexing problems, and this one to decide on a single style.
jensmaurer commentedon Nov 20, 2016
See also #398.
Fix duplicate index entries for 'base class'. (#1165)
zygoloid commentedon Dec 8, 2016
I'm not aware of any reason for these tildes, and I'd be surprised if they're fixing a line-breaking issue in the index rather than causing one. Can you try stripping them (say, with
sed) and see if there are any visual differences? If not, let's get rid of them all. (If there are differences, we'll need to understand why.)tkoeppe commentedon Dec 8, 2016
@jensmaurer: You are good with
sed, right? Or @Eelis?Residual manual removal of tildes for index entries.
Residual manual removal of tildes for index entries.
tkoeppe commentedon Dec 8, 2016
Perfect, thanks! This even saves a page, thanks to deduplicating index entries.
jensmaurer commentedon Dec 8, 2016
Augmented "style guidelines" wiki page accordingly.
tkoeppe commentedon Dec 8, 2016
Thanked!