Merge branch 'master' into gallery

Runtime/widgets/page_view.cs

 
             bool result = base.applyViewportDimension(viewportDimension);
             float? oldPixels = null;
-            if (this.hasPixles) {
+            if (this.havePixels) {
                 oldPixels = this.pixels;
             }