package jav.gui.error; import jav.correctionBackend.OCRErrorInfo; import java.awt.Color; import java.awt.Font; import javax.swing.JLabel; import javax.swing.ToolTipManager; /** *Copyright (c) 2012, IMPACT working group at the Centrum für Informations- und Sprachverarbeitung, University of Munich. *All rights reserved. *Redistribution and use in source and binary forms, with or without *modification, are permitted provided that the following conditions are met: *Redistributions of source code must retain the above copyright *notice, this list of conditions and the following disclaimer. *Redistributions in binary form must reproduce the above copyright *notice, this list of conditions and the following disclaimer in the *documentation and/or other materials provided with the distribution. *THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS *IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED *TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A *PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT *HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, *SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT *LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, *DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY *THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT *(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE *OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. * * This file is part of the ocr-postcorrection tool developed * by the IMPACT working group at the Centrum für Informations- und Sprachverarbeitung, University of Munich. * For further information and contacts visit http://ocr.cis.uni-muenchen.de/ * * @author thorsten (thorsten.vobl@googlemail.com) */ public class OCRFehlerLabel extends JLabel { private OCRErrorInfo errorInfo; private OCRFehlerMode errorMode; private boolean isSelected = false; public OCRFehlerLabel(String s, OCRErrorInfo p) { super(); this.errorInfo = p; this.setFont(new Font("DejaVu Sans", Font.PLAIN, 13)); this.setForeground(Color.BLACK); this.setBackground(Color.WHITE); this.setText(s); ToolTipManager toolTipManager = ToolTipManager.sharedInstance(); toolTipManager.setInitialDelay(700); toolTipManager.setLightWeightPopupEnabled(true); this.setToolTipText("<html>Initial Occurences: " + errorInfo.getInitialN() + "</br><br>Occurences: " + errorInfo.getOccurencesN() + "</br>" + "<br> Corrected: " + errorInfo.getCorrected() + "</br></html>"); } public void setMode(OCRFehlerMode pm) { this.errorMode = pm; this.addMouseListener(errorMode.getMouseListener()); } public void setSelected(boolean b) { if (b == false) { this.setForeground(errorMode.getUnselectedColor()); } else { this.setForeground(errorMode.getSelectedColor()); } this.isSelected = b; } public boolean isSelected() { return this.isSelected; } public OCRErrorInfo getErrorInfo() { return this.errorInfo; } public void zoomFont(int newSize) { Font f = this.getFont(); float nS = (float) newSize; Font deriveFont = f.deriveFont(nS); this.setFont(deriveFont); this.revalidate(); } }