Certainly a great improvement, but it's sad that the WebKit Dev Tools are well over a decade old, and this change is just coming now. It shows how much room there is for improvement in developer ergonomics.