iconSizeProperty

NOTE, This is a var, which is very unusual! The idea is to let different parts of the GUI use different icon sizes, and yet let them still be adjusted via properties.

For example, suppose you want toolbar buttons' icons to be 32 pixels, but buttons within a Dock's title to be 24 pixels. No suppose we want both to be user definable (for the visually impaired, and those who want them small, to free up space).

While building the buttons, set iconSizeProperty = theStandardIconSizeProperty. Then while building the dock, set iconSizeProperty = smallerIconSizeProperty.

Your preferences dialog then has theStandardIconSizeProperty and smallerIconSizeProperty as two settings. All icons update appropriately.