Class BoxShifter


  • public class BoxShifter
    extends java.lang.Object
    By keeping the shifting in a separate class, we can optimize it later without having to touch the other code. Remember: Recursive calls can be evil in complex documents..
    Author:
    Thomas Morgner
    • Constructor Detail

      • BoxShifter

        public BoxShifter()
    • Method Detail

      • shiftBox

        public void shiftBox​(RenderBox box,
                             long amount)
      • shiftBoxUnchecked

        public void shiftBoxUnchecked​(RenderBox box,
                                      long amount)
      • extendHeight

        public void extendHeight​(RenderNode node,
                                 long amount)