Package delimiter in DEFINE-FILE-INFO expressions #2389
Description
For backward compatibility at the time, the DEFINE-FILE-INFO is read with the old-interlisp-file readtable, which did not have colon as a package delimiter. So they picked 36Q (ctrl-circumflex=uparrow) for the package delimiter in that read table. But there are no glyphs for that character in any of our fonts. So when you Tedit any source file FONT, you see
We are now able easily modify (EDITFONT) fonts and store the modified versions (medley font format). So it would be easy to install a glyph for that code in the mono fonts where it is likely to matter (or all fonts, the next time we do a major upgrade). For example, a slightly slanted version of a colon could be used:
(This doesn't make a difference when PRETTYFILEINDEX is used to show source files--it reformats the DEFINE-FILE-INFO information), but then you can't scroll and search. The utility TEDIT-PF-SEE redefines the commands SEE (and PF) so you get the scrollable but not "pretty" versions.)