We currently convert the device space page size to be scaled by our current zoom. We should be able to just do this conversion from the cssPageSize. This will remove three of the parameters to setPageSize(). We should also make sure that we change the condition for calling setPageSize() to be a change in the CSS pixel size.
Created attachment 632738 [details] [diff] [review] Patch
Comment on attachment 632738 [details] [diff] [review] Patch This looks lovely to me.