am 930514df: Fix overlapping pages (issue 12551580)

* commit '930514df0529ff5316bb00f3e45a4de036b7f5aa': Fix overlapping pages (issue 12551580)
2014-02-15 00:20:31 +00:00
parent 1fb0035ace 930514df05
commit b5abf2a0c8
1 changed files with 1 additions and 1 deletions
@@ -557,7 +557,7 @@ public class DeviceProfile {
            // In portrait, we want the pages spaced such that there is no
            // overhang of the previous / next page into the current page viewport.
            // We assume symmetrical padding in portrait mode.
-            return 2 * getWorkspacePadding().left;
+            return Math.max(defaultPageSpacingPx, 2 * getWorkspacePadding().left);
        }
    }