tweak the layout of the scripts filter (#499)
tweak the layout of the scripts filter (#499)


flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools