Re: Plain text formatting

2020-09-02 Thread Paul Van Noord
ine feeds are part and parcel DvR> of 'plain text'. They should not be ignored, replaced or erased. DvR> (except maybe for any useless trailing tabs/spaces at the ends of lines) DvR> In the old days, plain text 'formatting' never led to any problems DvR> because al

Plain text formatting

2020-09-01 Thread Daniel van Rooijen
(except maybe for any useless trailing tabs/spaces at the ends of lines) In the old days, plain text 'formatting' never led to any problems because all we had was fixed-width characters. And frankly, I think MicroED should not use any proportional fonts either. I don't see how it m