diff src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 422:651aff5a46c7

synchronize font size listeners; log get/set field values
author Carl Byington <carl@five-ten-sg.com>
date Thu, 30 Oct 2014 16:27:31 -0700
parents 071eccdff8ea
children
line wrap: on
line diff
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Oct 29 18:03:42 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Thu Oct 30 16:27:31 2014 -0700
@@ -459,8 +459,10 @@
         // refresh any bitmap with new font size
         if (parent != null) parentChanged(parent);
 
-        for (FontSizeChangedListener ofscl : fontSizeChangedListeners)
-            ofscl.onFontSizeChanged(size);
+        synchronized(fontSizeChangedListeners) {
+            for (FontSizeChangedListener ofscl : fontSizeChangedListeners)
+                ofscl.onFontSizeChanged(size);
+        }
 
         host.setFontSize(size);
         manager.hostdb.updateFontSize(host);
@@ -474,7 +476,9 @@
      *            listener to add
      */
     public void addFontSizeChangedListener(FontSizeChangedListener listener) {
-        fontSizeChangedListeners.add(listener);
+        synchronized(fontSizeChangedListeners) {
+            fontSizeChangedListeners.add(listener);
+        }
     }
 
     /**
@@ -484,7 +488,9 @@
      * @param listener
      */
     public void removeFontSizeChangedListener(FontSizeChangedListener listener) {
-        fontSizeChangedListeners.remove(listener);
+        synchronized(fontSizeChangedListeners) {
+            fontSizeChangedListeners.remove(listener);
+        }
     }
 
     /**