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