Re: Proposed: an eqn keyword change: gfont -> gifont

2023-04-08 Thread Douglas McIlroy
The proposal is clean and well defended. Perfecting tweaks for the proposed man page: 1. Delete the parenthesized remark about boldface. At best it is TMI, at worst, condescending. 2. To parallel the phrase "to be set in italic", delete "type" from "to be set in roman type". 3. Delete the last

Re: Proposed: an eqn keyword change: gfont -> gifont

2023-04-08 Thread Ralph Corderoy
Hi Branden, > gbfont f > Set the bold font to f. > > gifont f > Set the italic font to f. > > grfont f > Set the roman font to f. > > For AT&T eqn compatibility, gfont is recognized as a synonym for > gifont. gbfont f Set the bold font to f.

Re: Proposed: an eqn keyword change: gfont -> gifont

2023-04-07 Thread Damian McGuckin
On Fri, 7 Apr 2023, G. Branden Robinson wrote: Crazy? Sensible? A long time coming? Answers areL No. Yes. At long last. The fix does not look quite right but maybe my brain is not switched on. Thanks - Damian Pacific Engineering Systems International . 20D Grose St, Glebe NSW 2037 Ph:

Proposed: an eqn keyword change: gfont -> gifont

2023-04-07 Thread G. Branden Robinson
Hi folks, I've got the following worked up and was wondering who had support for or objections to it. I filed a Savannah ticket for it on 27 March.[1] This isn't for 1.23.0--just something I put together on while Bertrand evaluates a pile of changes for possible inclusion in RC4.[2] New man pag