devtools
Refactor areaPaneHeader into a widget
#2924
Merged

Refactor areaPaneHeader into a widget #2924

rrousselGit
rrousselGit Refactor areaPaneHeader into a widget
8b7391a3
kenzieschmoll
kenzieschmoll approved these changes on 2021-04-21
kenzieschmoll kenzieschmoll merged c6c42fe1 into master 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone