if(highlight instanceof Rectangle[]){
Rectangle[] areas = (Rectangle[])highlight;
scroll=areas[0];
for(int i=0; i!=areas.length; i++){
storageVector.addElement(areas[i]);
}
}
currentGUI.currentCommands.scrollRectToHighlight(scroll,currentPage);
storageVector.trim();
decode_pdf.getTextLines().addHighlights(storageVector.get(), true, currentPage);