El 06.04.2017 a las 11:10, Jean-Marc Lasgouttes escribió:
That is not how it works. Actually, I propose to add a rule to our
coding rules that says that no code which does not take in account zoom
and DPI when drawing should be accepted (with the usual exceptions, of
course).
I have not heard about this rule. I also sent the patch to the list for
some days before I put it in. I haven't got this info from you.
You search for ulem.sty, which is full of horrible code. Then you search
in there for the definition of \xout, which is admittedly still weird,
but simpler:
\def\xout{\bgroup \markoverwith{\hbox to.35em{\hss/\hss}}\ULon}
What does it tell us? That the strike out is obtained with a `/'
character, and that it is spaced with 0.35em. This should be enough to
make an easy and good lookalike screen representation.
I don't get it. Seems that I have been away for too long. At first, yes
I can read TeX code, yes I experimented with painting including the
zoom.
I could not find a better solution that I proposed. When zooming out a
lot one got no stroke at all.
However, I still think that we should not leave the WYSIWYM track in
favor of WYSIWYG. The number of strokes is not important within LyX. The
user should see that there will be strokes and that is it. That is the
WYSIWYM concept. As I understand you, you want me to use the currently
selected screen font to draw a '/' character over the text that is
repeated by 0.35em (in pixels). That is quite complicated (at least for
me) and I don't see the benefit. That would be WYSIWYG. Is this really
necessary?
thanks and regards
Uwe