>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
Angus> Yes. Try out the TeXInfo dialog. It currently displays only Angus> "Verbose" tooltips because the user cannot yet choose the Angus> level, but the basic idea is working beautifully. You'll also Angus> note that some objects don't have tooltips because Jürgen Angus> hasn't assumed the user is stupid ;-} So the idea is to remove the empty label position at the bottom? I'm not sure which one I prefer. At least the old solution is unobstructive. JMarc
