public static void execute(final GUIFactory currentGUI, final PdfDecoderInt decode_pdf) {
if (decode_pdf.getDisplayView() == Display.SINGLE_PAGE) {
/** remove any outline and reset variables used to track change */
decode_pdf.getTextLines().clearHighlights(); // remove highlighted text
decode_pdf.repaintPane(0);
decode_pdf.getPages().setHighlightedImage(null); // remove image highlight
decode_pdf.getPages().refreshDisplay();
} else {
currentGUI.showMessageDialog(Messages.getMessage("PageLayoutMessage.SinglePageOnly"));
}
}
