Resizing the left menu does not work under Linux