This serves the immediate purpose of making the Resolutions Menu Button in Prefs equal the size of
its dropdown, but it also ensures there's more space for lists with small initial entries but longer
choices. Obviously, horizontal_grow = true could be used in any dialogs where this is a case, but this
provides a safer minimum should that not be desired.
These were simply copies of their respective label definitions, so this reduces the WML slightly.
This also renames the 'scroll_label_mono' definition, since there's no reason a label couldn't use it,
and this makes that clearer.
This still needs to be done for the recruit dialog, doing that might also
reduce code duplication.
This also contains multiple other fixes to treeviews.
This includes:
* Allowing the details area to scroll should the parent dialog not be long enough.
* Scaling all displayed sprites to 144x144 while maintaining aspect ratio.
* Forcing extra width so all mainline unit names have enough space to appear.
* Removing the unused 'minimal' definition. Might be added back later.
* Fixing the borders. The internal widgets shouldn't have outside borders, since borders
should be set for the widget instance in a containing dialog.
This also adds the necessary changes to said widget to allow single-unit stats display.
It still needs to be expanded somewhat. Right now it contains the minimum required for
the attack dialog.
There seems to possibly be an internal issue with the slider (and more generally, the
scrollbar implementation form which it inherits) where is min/maximum_positioner_length
equal an even number, sliders with an even number of options will reach max value.
Setting it to what, in this case is 1 below the actual width of the slider image (15)
means both even and odd-numbered sliders will reach max value, however the edge is cut off.
Attempting to set the right_offset to 1 and using the above off value for the positioned
width means only sliders with an odd number of options reach max value.
The magic numbers in this commit seem to give the widget enough space to reach the end of
the slider and max values regardless of the number of options, but the internal widget dimension
calculation should perhaps be investigated in the future.
