Allow Decimal Resize Percentages
IWBNI it were possible to specify a resize percentage that is a decimal number (e.g. 78.5%) when using the resize tool to resize a page, system, staff, note or notehead. As it is now, resize percentages must be whole numbers (e.g. 78%). While it is possible to enter a resize percentage that has a decimal point, the decimal portion of the number is truncated.
This could be implemented by allowing a decimal number to be entered into the following controls: