src/Types.hh
branchnew_graphics
changeset 411 106aaf6eadfe
parent 410 41fd46cffc52
child 417 c503e0c6a740
equal deleted inserted replaced
410:41fd46cffc52 411:106aaf6eadfe
    37     PixelDimension width, height;
    37     PixelDimension width, height;
    38     
    38     
    39     /** Simple constructor */
    39     /** Simple constructor */
    40     PixelDimensions (PixelDimension width, PixelDimension height) :
    40     PixelDimensions (PixelDimension width, PixelDimension height) :
    41         width(width), height(height)
    41         width(width), height(height)
    42     { }
    42     { }
    43 };
    43 };
    44 
    44 
    45 /**
    45 /**
    46  * A rectangular area of pixels
    46  * A rectangular area of pixels
    47  */
    47  */