//--------------------------------------------------------------------
public void Pixel(ColorRGBA[] destBuffer, int destBufferOffset, int x, int y)
{
m_filter.SetPixelHighRes(m_buf, destBuffer, destBufferOffset,
x % m_width_hr + m_dilation_hr,
y + m_offset_y_hr);
}
//--------------------------------------------------------------------
public void Pixel(Color[] destBuffer, int destBufferOffset, int x, int y)
{
_filter.SetPixelHighRes(_buf, destBuffer, destBufferOffset,
x % _width_hr + _dilation_hr,
y + _offset_y_hr);
}