Okay, this seems to be the new #UI of the #IE 11 #developer tools: