devtools
Enlarge warning/error banners and add headers.
#2038
Merged

Enlarge warning/error banners and add headers. #2038

kenzieschmoll
kenzieschmoll Enlarge warning/error banners and add headers.
a99290c8
kenzieschmoll Merge branch 'master' of github.com:flutter/devtools
ebf0af11
kenzieschmoll fix lint
e655b69d
jacob314
jacob314 approved these changes on 2020-06-04
kenzieschmoll kenzieschmoll merged 1f74c169 into master 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone