Las herramientas de desarrollo de Microsoft Edge (DevTools) no funcionan después de la actualización de Windows

Question

Hoy tuve una instalación retrasada de la actualización de abril de 2018 de Windows (la instalación anterior falló) y ahora hay un problema con Microsoft Edge DevTools (depurador). El diseño no se ve bien y el tamaño de las ventanas no se puede ajustar más. Así es como se ve mi pantalla:

Captura de pantalla DevTools

Mientras que una pantalla normal se vería así:

Captura de pantalla DevTools (normal)

No hay forma de cambiar el tamaño de la ventana horizontalmente arrastrando el borde. Me gustaría saber si alguien reconoce este problema. Al menos alguien puede confirmar que este problema no ocurre en su sistema con Windows 10 versión 17134.228.