XJTextPane.java
01 /*
02  *  Copyright (c) 1995-2012, The University of Sheffield. See the file
03  *  COPYRIGHT.txt in the software or at http://gate.ac.uk/gate/COPYRIGHT.txt
04  *
05  *  This file is part of GATE (see http://gate.ac.uk/), and is free
06  *  software, licenced under the GNU Library General Public License,
07  *  Version 2, June 1991 (in the distribution as file licence.html,
08  *  and also available at http://gate.ac.uk/gate/licence.html).
09  *
10  *  Valentin Tablan 06/03/2001
11  *
12  *  $Id: XJTextPane.java 17612 2014-03-10 08:51:17Z markagreenwood $
13  *
14  */
15 
16 package gate.swing;
17 
18 import java.awt.Font;
19 import java.beans.PropertyChangeEvent;
20 import java.beans.PropertyChangeListener;
21 
22 import javax.swing.JTextPane;
23 import javax.swing.UIManager;
24 import javax.swing.text.*;
25 
26 /**
27  * A custom JTextPane that reinitialises the default font style when th UI
28  * changes. This is needed by applications that want to be able to change the
29  * font in the entire application by changing the UI defaults table.
30  */
31 @SuppressWarnings("serial")
32 public class XJTextPane extends JTextPane {
33 
34   public XJTextPane() {
35     super();
36     initListeners();
37     updateStyle();
38   }
39 
40   public XJTextPane(StyledDocument doc) {
41     super(doc);
42     initListeners();
43     updateStyle();
44   }
45 
46   protected void initListeners(){
47     addPropertyChangeListener(new PropertyChangeListener() {
48       @Override
49       public void propertyChange(PropertyChangeEvent e) {
50         if(e.getPropertyName().equals("UI")){
51           updateStyle();
52         }else if(e.getPropertyName().equals("document")){
53           updateStyle();
54         }
55       }
56     });
57   }
58 
59   protected void updateStyle(){
60     Font newFont = UIManager.getFont("TextPane.font");
61     Style defaultStyle = getStyle("default");
62     StyleConstants.setFontFamily(defaultStyle, newFont.getFamily());
63     StyleConstants.setFontSize(defaultStyle, newFont.getSize());
64     StyleConstants.setItalic(defaultStyle, newFont.isItalic());
65     StyleConstants.setBold(defaultStyle, newFont.isBold());
66     repaint();
67   }
68 }