[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
- To: (BUG ZWEI) at MIT-AI
- Subject:
- From: MMCM@MIT-AI
- Date: Sat ,4 Feb 79 02:07:39 EDT
- Cc: HIC at MIT-AI
the current use of tabs in INDENT-TO has a subtle screw: it assumes that the
width of a TAB is an integral number of spaces, actually it is the whatever
indentation is needed to get to the next column that is a multiple of 8 spaces\n from the left margin, which is different with multiple/variable-width fonts.