[tex-k] Problem with "mf" online display in GNOME

[Igor Liferenko]

Hello Paul and all,

> I have my own suggestion for a patch (attached).

I have tested your patch. Works great.

All the best,
Igor

P.S. Is it possible to make it so, that it will be possible to switch
between online-graphics window and the terminal with Alt+Tab? In GNOME
it is not possible (I had this issue from the very beginning, but it
is not critical, so I did not mention it before). This is no problem
if one has a wide monitor, so that it is possible to see terminal and
graphics window simultaneously. But if the screen is small, it would
be rather convenient to switch between graphics window and terminal
with Alt+Tab. (I also checked in MATE - there is the same problem.)