Help window is too high
Brought to you by:
baudinr
My screen is not very high (768px), and the Help dialog is higher than it, which means I can't see the end of the text even after scrolling, and I cannot see the close button.
Maybe this is again related to the fact that I'm using GNOME Shell: I know there were problems in the past with pop-up menus because they could not detect that not all 768px where available (there's the top GNOME Shell bar). But there must be a way to let the window manager limit the height of the window if it's too high to fit on screen.
The problem is that windows built with the basic SDK can't be resized. There is a workaround but it's rather complex and need a lot of code changes.
RB
Ah, I see. Maybe in the present case you could just shrink the window height by some arbitrary factor like 20-30%, and it should work in most cases.
This should be fixed in TexMaths 0.41.
I reduced the initial window size.
Thanks for the bug report.