Abhilfe schafft momentan einfach ein Neuladen des Fensters mit “Strg”+“R” oder unter Ansicht → Reload