Fixes issue 3449: Changing textpane font size sometimes doesn't update a few lines

Change-Id: Ifc1d9475c80116d498e6f5df02fa7cd6a302f7d0
Reviewed-on: http://gerrit.dmdirc.com/369
Tested-by: Gregory Holmes <greboid@dmdirc.com>
Reviewed-by: Chris Smith <chris@dmdirc.com>

src/com/dmdirc/addons/ui_swing/textpane/IRCDocument.java

  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  * SOFTWARE.
  */
+
 package com.dmdirc.addons.ui_swing.textpane;
 
 import com.dmdirc.config.ConfigManager;
 import com.dmdirc.interfaces.ConfigChangeListener;
 import com.dmdirc.util.RollingList;
+import java.awt.Font;
 
 import java.io.Serializable;
 import java.text.AttributedCharacterIterator;
 import java.text.AttributedString;
 import java.util.ArrayList;
 import java.util.List;
+import javax.swing.UIManager;
 
 import javax.swing.event.EventListenerList;
 
     private RollingList<AttributedString> cachedStrings;
     /** Configuration manager. */
     private ConfigManager config;
+    /** Font size. */
+    private int fontSize;
+    /** Font name. */
+    private String fontName;
 
     /** 
      * Creates a new instance of IRCDocument.
 
         cachedLines = new RollingList<Line>(50);
         cachedStrings = new RollingList<AttributedString>(50);
+
+        setCachedSettings();
+
+        config.addChangeListener("ui", "textPaneFontSize", this);
+        config.addChangeListener("ui", "textPaneFontName", this);
     }
 
     /**
      * @return Number of lines
      */
     public int getNumLines() {
-        return lines.size();
+        synchronized (lines) {
+            return lines.size();
+        }
     }
 
     /**
      * @return Line at the specified number or null
      */
     Line getLine(final int lineNumber) {
-        return lines.get(lineNumber);
+        synchronized (lines) {
+            return lines.get(lineNumber);
+        }
     }
 
     /**
      */
     public void addText(final String[] text) {
         synchronized (lines) {
-            lines.add(new Line(text, config));
+            lines.add(new Line(text, fontSize, fontName));
             fireLineAdded(lines.indexOf(text));
         }
     }
      */
     public void addText(final String[] text, final int lineHeight) {
         synchronized (lines) {
-            lines.add(new Line(text, config, lineHeight));
+            lines.add(new Line(text, lineHeight, fontName));
             fireLineAdded(lines.indexOf(text));
         }
     }
         synchronized (lines) {
             final int start = lines.size();
             for (String[] string : text) {
-                lines.add(new Line(string, config));
+                lines.add(new Line(string, fontSize, fontName));
             }
             fireLinesAdded(start, text.size());
         }
      * @param text stylised string to add to the text
      * @param lineHeights line heights for the new lines
      */
-    public void addText(final List<String[]> text, final List<Integer> lineHeights) {
+    public void addText(final List<String[]> text,
+            final List<Integer> lineHeights) {
         synchronized (lines) {
             final int start = lines.size();
-            for (int i = 0; i < text.size() ; i++) {
+            for (int i = 0; i < text.size(); i++) {
                 final String[] string = text.get(i);
                 final int lineHeight = lineHeights.get(i);
-                lines.add(new Line(string, config, lineHeight));
+                lines.add(new Line(string, lineHeight, fontName));
             }
             fireLinesAdded(start, text.size());
         }
             }
         }
     }
-    
+
     /**
      * fires the need repaint method on all listeners.
      */
      * @return Styled line
      */
     AttributedCharacterIterator getStyledLine(final Line line) {
-        AttributedString styledLine = null;
-        if (cachedLines.contains(line)) {
-            final int index = cachedLines.getList().indexOf(line);
-            styledLine = cachedStrings.get(index);
-        }
+        synchronized (lines) {
+            AttributedString styledLine = null;
+            if (cachedLines.contains(line)) {
+                final int index = cachedLines.getList().indexOf(line);
+                styledLine = cachedStrings.get(index);
+            }
 
-        if (styledLine == null) {
-            styledLine = line.getStyled();
-            cachedLines.add(line);
-            cachedStrings.add(styledLine);
-        }
+            if (styledLine == null) {
+                styledLine = line.getStyled();
+                cachedLines.add(line);
+                cachedStrings.add(styledLine);
+            }
 
-        return styledLine.getIterator();
+            return styledLine.getIterator();
+        }
     }
 
     /**
     public AttributedCharacterIterator getStyledLine(final int line) {
         return getStyledLine(getLine(line));
     }
-    
+
     /**
      * Returns the line height of the specified line
      * 
      * @return Line height
      */
     int getLineHeight(final Line line) {
-        return line.getHeight();
+        return line.getFontSize();
     }
-    
+
     /**
      * Returns the line height of the specified line
      * 
      * @return Line height
      */
     public int getLineHeight(final int line) {
-        return  getLineHeight(getLine(line));
+        return getLineHeight(getLine(line));
+    }
+
+    private void setCachedSettings() {
+        final Font defaultFont = UIManager.getFont("TextPane.font");
+        if (config.hasOptionString("ui", "textPaneFontName")) {
+            fontName = config.getOption("ui", "textPaneFontName");
+        } else {
+            fontName = defaultFont.getName();
+        }
+        if (config.hasOptionString("ui", "textPaneFontSize")) {
+            fontSize = config.getOptionInt("ui", "textPaneFontSize");
+        } else {
+            fontSize = defaultFont.getSize();
+        }
     }
 
     /** {@inheritDoc} */
     @Override
     public void configChanged(final String domain, final String key) {
+        setCachedSettings();
         cachedLines.clear();
         cachedStrings.clear();
+        synchronized (lines) {
+            for (Line line : lines) {
+                line.setFontName(fontName);
+                line.setFontSize(fontSize);
+            }
+        }
         fireRepaintNeeded();
     }
 }

src/com/dmdirc/addons/ui_swing/textpane/Line.java

 
 package com.dmdirc.addons.ui_swing.textpane;
 
-import com.dmdirc.config.ConfigManager;
-import com.dmdirc.interfaces.ConfigChangeListener;
 import com.dmdirc.ui.core.util.ExtendedAttributedString;
 import com.dmdirc.ui.core.util.Utils;
 import com.dmdirc.ui.messages.Styliser;
-import java.awt.Font;
 
 import java.text.AttributedString;
 import java.util.Arrays;
 
-import javax.swing.UIManager;
 
 /**
  * Represents a line of text in IRC.
  */
-class Line implements ConfigChangeListener {
+class Line {
 
     private final String[] lineParts;
-    private final ConfigManager config;
-    private int lineHeight;
+    private int fontSize;
     private String fontName;
 
-    /**
-     * Creates a new line.
-     *
-     * @param lineParts Parts of the line
-     * @param config Configuration manager for this line
-     */
-    public Line(final String[] lineParts, final ConfigManager config) {
-        this.lineParts = lineParts;
-        this.config = config;
-        setCachedSettings();
-        config.addChangeListener("ui", "textPaneFontSize", this);
-        config.addChangeListener("ui", "textPaneFontName", this);
-    }
-
     /**
      * Creates a new line with a specified height.
      *
      * @param lineParts Parts of the line
-     * @param config Configuration manager for this line
-     * @param lineHeight The height for this line
+     * @param fontSize The height for this line
+     * @param fontName
      */
-    public Line(final String[] lineParts, final ConfigManager config,
-            final int lineHeight) {
+    public Line(final String[] lineParts, final int fontSize,
+            final String fontName) {
         this.lineParts = lineParts;
-        this.config = config;
-        setCachedSettings();
-        config.addChangeListener("ui", "textPaneFontSize", this);
-        config.addChangeListener("ui", "textPaneFontName", this);
+        this.fontName = fontName;
+        this.fontSize = fontSize;
     }
 
     /**
      * 
      * @return Line height
      */
-    public int getHeight() {
-        return lineHeight;
+    public int getFontSize() {
+        return fontSize;
+    }
+
+    /**
+     * Sets the default font size for this line.
+     *
+     * @param fontSize New default font size
+     */
+    public void setFontSize(final int fontSize) {
+        this.fontSize = fontSize;
+    }
+
+    /**
+     * Sets the default font name for this line.
+     *
+     * @param fontName New default font name
+     */
+    public void setFontName(final String fontName) {
+        this.fontName = fontName;
     }
 
     /**
      */
     public AttributedString getStyled() {
         final ExtendedAttributedString string = Utils.getAttributedString(lineParts,
-                fontName, lineHeight);
-        lineHeight = string.getMaxLineHeight();
+                fontName, fontSize);
+        fontSize = string.getMaxLineHeight();
         return string.getAttributedString();
     }
 
     public int hashCode() {
         return getLineParts().hashCode();
     }
-
-    /** {@inheritDoc} */
-    @Override
-    public void configChanged(final String domain, final String key) {
-        setCachedSettings();
-    }
-
-    private void setCachedSettings() {
-        final Font defaultFont = UIManager.getFont("TextPane.font");
-        if (config.hasOptionString("ui", "textPaneFontName")) {
-            fontName = config.getOption("ui", "textPaneFontName");
-        } else {
-            fontName = defaultFont.getName();
-        }
-        if (config.hasOptionString("ui", "textPaneFontSize")) {
-            lineHeight = config.getOptionInt("ui", "textPaneFontSize");
-        } else {
-            lineHeight = defaultFont.getSize();
-        }
-    }
 }