[Property Editor] Miscellaneous small polish items#9055

elliette merged 3 commits intoflutter:masterflutter/devtools:masterfrom

elliette:misc-improvementselliette/devtools:misc-improvementsCopy head branch name to clipboard