`java.lang.ClassCastException: number(1241.5) cannot be cast to java.lang.Integer`

[ebruchez]

It's unclear how this happened, but it did:

[ebruchez]

• open "All Form Controls" form in Form Builder
• use CMD-J to open the quick control search
• search for "Dynamic Dropdown", enter
• form scrolls
• hovering over the forms area shows the errors

I suspect that our scrolling code can cause the position not to be an integer, and then our integer facades fail?

[ebruchez]

Positions shouldn't be integers but doubles.