Hello, I have installed gmsh on both Windows and Ubuntu systems. On Windows gmsh GUI runs well but on Ubuntu the GUI is very easy to lose control, for example, very often I cannot access the File, Tools menu. Please help me to fix this problem. Thank you, Best, Sang