Hi, Another quite odd feature is that gui is different with and without gainroot. Without gainroot (from desktop or terminal) menus on top of screen are bigger than with gainroot from terminal. Why is that?