Support fractional values in $.getExtents().

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

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.

reviewbot
  1. Tool: Pyflakes
    Ignored Files:
        djblets/static/djblets/js/jquery.gravy.util.js
    
    
    
    Tool: PEP8 Style Checker
    Ignored Files:
        djblets/static/djblets/js/jquery.gravy.util.js
    
    
  2. 
      
david
  1. Ship It!
  2. 
      
chipx86
Review request changed
Status:
Completed
Change Summary:
Pushed to release-0.9.x (b9e3c84)