bug#30141: (26.0.91; text-pixel dimensions not properly saved by desktop-save-mode sometimes)

[martin rudalics]

> Either way, this patch fixes a bug so it is probably worth applying if
> you’re good with it.

You haven't yet answered my earlier question:

  Can you please give a more detailed scenario of what happens in
  practice.  Is this prevalence of pixel sizes something which occurs
  after the frameset was restored or already during restoration?

Can you please try to do that?  How do these parameters get into the
way of things?

Thanks, martin