Examples with PDFViewer annis.libgui.media.PDFViewer used on opensource projects

Example 1 with PDFViewer

use of annis.libgui.media.PDFViewer in project ANNIS by korpling.

the class PDFVisualizer method createComponent.

@Override
public Panel createComponent(VisualizerInput input, VisualizationToggle visToggle) {
    PDFViewer pdfViewer = null;
    try {
        if (VaadinSession.getCurrent().getAttribute(PDFController.class) != null) {
            VaadinSession session = VaadinSession.getCurrent();
            PDFController pdfController = session.getAttribute(PDFController.class);
            pdfViewer = new PDFViewerImpl(input, visToggle);
            pdfController.addPDF(input.getId(), pdfViewer);
        }
    } catch (Exception ex) {
        log.error("could not create pdf vis", ex);
    }
    return (Panel) pdfViewer;
}

Example 2 with PDFViewer

use of annis.libgui.media.PDFViewer in project ANNIS by korpling.

the class VisualizerPanel method updateGUIAfterLoadingVisualizer.

// end loadVisualizer
private void updateGUIAfterLoadingVisualizer(LoadableVisualizer.Callback callback) {
    if (callback != null && vis instanceof LoadableVisualizer) {
        LoadableVisualizer loadableVis = (LoadableVisualizer) vis;
        if (loadableVis.isLoaded()) {
            // direct call callback since the visualizer is already ready
            callback.visualizerLoaded(loadableVis);
        } else {
            loadableVis.clearCallbacks();
            // add listener when player was fully loaded
            loadableVis.addOnLoadCallBack(callback);
        }
    }
    progress.setEnabled(false);
    progress.setVisible(false);
    if (vis != null) {
        btEntry.setEnabled(true);
        vis.setVisible(true);
        if (vis instanceof PDFViewer) {
            ((PDFViewer) vis).openPDFPage("-1");
        }
        if (vis instanceof MediaPlayer) {
            // if this is a media player visualizer, close all other media players
            // since some browsers (e.g. Chrome) have problems if there are multiple
            // audio/video elements on one page
            MediaController mediaController = VaadinSession.getCurrent().getAttribute(MediaController.class);
            mediaController.closeOtherPlayers((MediaPlayer) vis);
        }
        // add if not already added
        if (getComponentIndex(vis) < 0) {
            addComponent(vis);
        }
    }
}