UI request: property search filter

It’d be convenient to be able to quickly get to a property in the style inspector by typing its name in a search filter box.