GUI: testing IE10 compatibility