3 ms·

That's a good idear. Start a feature request by emailing google-chrome-developer-tools@googlegroups.com