Re: [PATCH 06/13] lib/readline/doc/history.3: Drop microtypography.

2024-04-02 Thread Chet Ramey
On 4/2/24 4:33 AM, G. Branden Robinson wrote: At 2024-04-01T09:27:27-0400, Chet Ramey wrote: On 3/28/24 5:11 PM, G. Branden Robinson wrote: Now that we're using a correct caret/circumflex/hat glyph on modern typesetters (and terminals with a Unicode repertoire), drop the thicket of partial-line

Re: [PATCH 06/13] lib/readline/doc/history.3: Drop microtypography.

2024-04-02 Thread G. Branden Robinson
At 2024-04-01T09:27:27-0400, Chet Ramey wrote: > On 3/28/24 5:11 PM, G. Branden Robinson wrote: > > Now that we're using a correct caret/circumflex/hat glyph on > > modern typesetters (and terminals with a Unicode repertoire), drop the > > thicket of partial-line motion and type size-altering escap

Re: [PATCH 06/13] lib/readline/doc/history.3: Drop microtypography.

2024-04-01 Thread Chet Ramey
On 3/28/24 5:11 PM, G. Branden Robinson wrote: Now that we're using a correct caret/circumflex/hat glyph on modern typesetters (and terminals with a Unicode repertoire), drop the thicket of partial-line motion and type size-altering escape sequences, certain to frighten and confuse any unfrozen c

[PATCH 06/13] lib/readline/doc/history.3: Drop microtypography.

2024-03-28 Thread G. Branden Robinson
Now that we're using a correct caret/circumflex/hat glyph on modern typesetters (and terminals with a Unicode repertoire), drop the thicket of partial-line motion and type size-altering escape sequences, certain to frighten and confuse any unfrozen caveman page authors. I expect this to slightly r