devtools icon indicating copy to clipboard operation
devtools copied to clipboard
verified publisher icon flutter

Update "Widget Details Tree" when pub root dirs change

Open CoderDake opened this issue 3 years ago • 0 comments

Screen Shot 2022-07-22 at 9 52 55 AM

when the pub root directories change, if the node doesn't exist anymore we should clear the widget details tree pane

CoderDake avatar Jul 22 '22 13:07 CoderDake