Class RequestWindowChange


  • class RequestWindowChange
    extends Request
    • Field Detail

      • width_columns

        int width_columns
      • height_rows

        int height_rows
      • width_pixels

        int width_pixels
      • height_pixels

        int height_pixels
    • Constructor Detail

      • RequestWindowChange

        RequestWindowChange()
    • Method Detail

      • setSize

        void setSize​(int col,
                     int row,
                     int wp,
                     int hp)
      • request

        public void request​(Session session,
                            Channel channel)
                     throws java.lang.Exception
        Overrides:
        request in class Request
        Throws:
        java.lang.Exception