some gui fixes for gtk 3.14