Documention for: fastscroll.r Created by: moliad on: 5-Jun-2007 Format: html Downloaded on: 29-May-2020
just shows how to use the change facet of any face.
in this example, using the offset, will dramatically increase face
refresh, since it will not redraw the image at each show.
hope you can apply this in your own stuff.