Have the Property widget's name always be static

[aaron_mccoy (PleaseDontBanAaron)]

As a Roblox developer, the properties tab causes a lot of frustration.
The horizontal space for stacked widgets frequently gets hijacked by the properties tab due to it always renaming itself to whatever you have selected, and anything slightly longer than a dozen characters can just hog all the space, making it a pain to quickly select other tabs.

Additionally, it’s not necessary to have the name be written there as it’s always written at the top of the widget.

It would be much simpler and not confuse muscle memory to just always have it display “Properties” as its name and no longer dynamically change the name based on what you select.

[PeZsmistic]

I prefer the current behavior, sometimes I switch between two instances to compare properties because the scroll position is preserved, and I want to make sure I have the right thing selected in certain situations. A better solution would be to move the extra information somewhere else, e.g. into a tooltip on the widget header, or on a bar that always shows at the top under the widget header.