void ViewWidgets::setclip() { clipx[0]=gps.clipx[0]; clipx[1]=gps.clipx[1]; clipy[0]=gps.clipy[0]; clipy[1]=gps.clipy[1]; gps.setclipping(x,x2,y,y2); }
void ViewWidgets::releaseclip(){ gps.setclipping(clipx[0],clipx[1],clipy[0],clipy[1]); }