package jav.gui.error.profiler; import jav.correctionBackend.Pattern; 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 PatternLabel extends JLabel { private Pattern pattern; private PatternMode patternMode; private boolean isSelected = false; public PatternLabel(Pattern p) { super(); this.pattern = p; this.setForeground(Color.BLACK); this.setBackground(Color.WHITE); this.setFont(new Font("DejaVu Sans", Font.PLAIN, 13)); this.setText(pattern.getLeft() + " --> " + pattern.getRight()); ToolTipManager toolTipManager = ToolTipManager.sharedInstance(); toolTipManager.setInitialDelay(700); toolTipManager.setLightWeightPopupEnabled(true); this.setToolTipText("<html>Occurences: " + pattern.getOccurencesN() + "<br> Corrected: " + pattern.getCorrected() + "</br></html>"); } public void setMode(PatternMode pm) { this.patternMode = pm; this.addMouseListener(patternMode.getMouseListener()); } public void setSelected(boolean b) { if (b == false) { this.setForeground(patternMode.getUnselectedColor()); } else { this.setForeground(patternMode.getSelectedColor()); } this.isSelected = b; } public boolean isSelected() { return this.isSelected; } public Pattern getPattern() { return this.pattern; } public void zoomFont(int newSize) { Font f = this.getFont(); float nS = (float) newSize; Font deriveFont = f.deriveFont(nS); this.setFont(deriveFont); this.revalidate(); } }