Hi
in the case of own software development with VDM it is usefull to write and read in the border. Now I copy my images in a larger image to create my own border. That costs performance. A additional boolean variable for the set/get pixel value vi which references the origin to the image (without border) origin left top (implemented) or the border+image origin left top outside of the image (not implemented).
