On Mon, Jul 23, 2018 at 4:14 PM, Jean-Marc Lasgouttes <lasgout...@lyx.org> wrote:
> Le 23/07/2018 à 22:46, Daniel a écrit : > >> On 23/07/2018 20:40, Jean-Marc Lasgouttes wrote: >> >>> Le 23/07/2018 à 20:26, Daniel a écrit : >>> >>>> With 3 pixels for heavy, I will have to take the width into account in >>>>> table cells height computation, while I have conveniently decided to >>>>> ignore >>>>> it for now :) >>>>> >>>> >>>> Why is it that you would have to take it into account? So far zooming >>>> keeps the cell padding (emprty space around cell content) fixes. So nothing >>>> would overlap or so. >>>> >>> >>> I do not know, I have not tried it. But I suspect thatit would seem too >>> bold. I may try to do it if I find the time. >>> >> >> I think it will look good. >> > > OK I see you point. You will not stop until I comply. > > I did it now and don't like much. It is in though for your enjoyment. > I also prefer the prior "new" treatment versus this newest styling. > If something is not yet correct, I propose to revert the whole thing and > go back to the time when nobody complained ;) > I hope this doesn't occur but rather the initial salvo of changes are kept. - Joel