Class RichMediaWindow

  • All Implemented Interfaces:
    java.io.Serializable

    public class RichMediaWindow
    extends PdfDictionary
    The RichMediaWindow dictionary stores the dimensions and position of the floating window presented to the user. It is used only if Style is set to Windowed. See ExtensionLevel 3 p84
    Since:
    5.0.0
    See Also:
    RichMediaPresentation, Serialized Form
    • Constructor Detail

      • RichMediaWindow

        public RichMediaWindow()
        Creates a RichMediaWindow dictionary.
    • Method Detail

      • setWidth

        public void setWidth​(float defaultWidth,
                             float maxWidth,
                             float minWidth)
        Sets a dictionary with keys Default, Max, and Min describing values for the width of the Window in default user space units.
        Parameters:
        defaultWidth - the default width
        maxWidth - the maximum width
        minWidth - the minimum width
      • setHeight

        public void setHeight​(float defaultHeight,
                              float maxHeight,
                              float minHeight)
        Sets a dictionary with keys Default, Max, and Min describing values for the height of the Window in default user space units.
        Parameters:
        defaultHeight - the default height
        maxHeight - the maximum height
        minHeight - the minimum height
      • createDimensionDictionary

        private PdfDictionary createDimensionDictionary​(float d,
                                                        float max,
                                                        float min)
        Creates a dictionary that can be used for the HEIGHT and WIDTH entries of the RichMediaWindow dictionary.
        Parameters:
        d - the default
        max - the maximum
        min - the minimum
      • setPosition

        public void setPosition​(RichMediaPosition position)
        Sets a RichMediaPosition dictionary describing the position of the RichMediaWindow.
        Parameters:
        position - a RichMediaPosition object