org.jpedal.examples.viewer.commands.javafx.JavaFXTextSelect Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of OpenViewerFX Show documentation
Show all versions of OpenViewerFX Show documentation
Open Source (LGPL) JavaFX PDF Viewer
/*
* ===========================================
* Java Pdf Extraction Decoding Access Library
* ===========================================
*
* Project Info: http://www.idrsolutions.com
* Help section for developers at http://www.idrsolutions.com/support/
*
* (C) Copyright 1997-2017 IDRsolutions and Contributors.
*
* This file is part of JPedal/JPDF2HTML5
*
@LICENSE@
*
* ---------------
* JavaFXTextSelect.java
* ---------------
*/
package org.jpedal.examples.viewer.commands.javafx;
import java.net.URL;
import javafx.scene.Cursor;
import org.jpedal.PdfDecoderFX;
import org.jpedal.PdfDecoderInt;
import org.jpedal.examples.viewer.Commands;
import org.jpedal.examples.viewer.MouseMode;
import org.jpedal.gui.GUIFactory;
/**
* This Class Enables TextSelectionMode when activated via the top drop-down menu,
* When TextSelectionMode is enabled, PanMode functionality is disabled.
*/
public class JavaFXTextSelect {
/**
* Set text select mode for the GUI
*
* @param args Object array, must be null for default behaviour
* @param currentGUI GUIFactory object to set to text mode
* @param mouseMode MouseMode object containing the current mouse mode
* @param decode_pdf PdfDecoderInt Object displaying the current PDF
*/
public static void execute(final Object[] args, final GUIFactory currentGUI, final MouseMode mouseMode, final PdfDecoderInt decode_pdf) {
if (args == null) {
// Disable Pan Mode
currentGUI.getMenuItems().setCheckMenuItemSelected(Commands.PANMODE, false);
currentGUI.getMenuItems().setCheckMenuItemSelected(Commands.TEXTSELECT, true);
currentGUI.getButtons().getButton(Commands.SNAPSHOT).setEnabled(true);
currentGUI.setPannable(false);
// Set mouse mode
mouseMode.setMouseMode(MouseMode.MOUSE_MODE_TEXT_SELECT);
// Update buttons
final URL url = currentGUI.getGUICursor().getURLForImage("mouse_select.png");
if (url != null) {
currentGUI.getButtons().getButton(Commands.MOUSEMODE).setIcon(url);
}
((PdfDecoderFX) decode_pdf).setDefaultCursor(Cursor.TEXT);
} else {
}
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy