devtools

a05cc8a3 - Polish theming for new button and tab bar heights (#2871)

Polish theming for new button and tab bar heights (#2871) * Polish theming for new button and tab bar heights * fix debugger control * Fix memory bug and test * add missing import * update goldens * fix vm flag widgets test