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

[Paul Vojta]

I don't really know the metafont code all that well, but it sounds like it
would involve some rather extensive changes.  Also, currently the graphics
window doesn't process keystroke events, and processing any events at all
in an asynchronous manner would again be an extensive change.

This sounds like something that you should try instead to do using the window
manager.  (With fvwm, for example, I use Alt-Shift-Button 3 to push a
window to the bottom of the stack.  Or, if a part of a window is visible,
I have it set to raise that window when I move the mouse to the window.)

Paul Vojta


On Mon, May 29, 2017 at 10:00:54AM +0700, Igor Liferenko wrote:
> 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.)