Support fractional values in $.getExtents().

Review Request #7390 — Created June 6, 2015 and submitted — Latest diff uploaded

Information

Djblets
release-0.9.x
326ca07...

Reviewers

$.getExtents() was normalizing everything to an integer, which would
affect layouts when dealing with browsers rendering things using
fractions of pixels. We now parse the value as a float if it's not a
integer.

Made use of this in some other changes in Review Board. It solved the
problems I was having.

Been running this for a week, and I haven't seen any negative side-effects.