copy-pixels ( old-pixels old-width new-pixels new-width -- )


Vocabulary
ui.gadgets.frame-buffer

Inputs
old-pixelsan object
old-widthan object
new-pixelsan object
new-widthan object


Outputs
None

Definition