Инструменты разработчика Microsoft Edge (DevTools) перестали работать после обновления Windows

Question

Сегодня у меня была отложенная установка обновления Windows April 2018 (предыдущая установка не удалась), и теперь возникла проблема с Microsoft Edge DevTools (отладчик). Макет выглядит неправильно, и размер окон не может быть отрегулирован больше. Вот как выглядит мой экран:

Скриншот DevTools

Тогда как обычный экран будет выглядеть так:

Скриншот DevTools (обычный)

Нет возможности изменить размер окна по горизонтали, перетаскивая край. Я хотел бы узнать, знакома ли кому-нибудь эта проблема. По крайней мере, кто-то может подтвердить, что эта проблема не возникает в его/ее системе с Windows 10 версии 17134.228.