Microsoft Edge Developer Tools (DevTools) nach Windows-Update defekt

Question

Heute hatte ich eine verzögerte Installation des Windows April 2018-Updates (die vorherige Installation ist fehlgeschlagen) und jetzt gibt es ein Problem mit den Microsoft Edge DevTools (Debugger). Das Layout sieht nicht richtig aus und die Größe der Fenster kann nicht mehr angepasst werden. So sieht mein Bildschirm aus:

Screenshot DevTools

Ein normaler Bildschirm würde hingegen so aussehen:

Screenshot DevTools (normal)

Es gibt keine Möglichkeit, die Fenstergröße horizontal durch Ziehen der Kante zu ändern. Ich würde gerne wissen, ob jemand dieses Problem kennt. Zumindest kann jemand bestätigen, dass dieses Problem auf seinem/ihrem System mit Windows 10 Version 17134.228 nicht auftritt.