Changeset 1133


Ignore:
Timestamp:
Jul 1, 2011, 7:08:36 PM (6 years ago)
Author:
stefan
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/jlatexeditor/gproperties/GProperties.java

    r1132 r1133  
    298298      if (newValue == null && oldValue == null) continue;
    299299
    300       if ((newValue == null && oldValue != null) ||
    301               (newValue != null && oldValue == null) ||
    302               !newValue.equals(oldValue)) {
     300      if (newValue == null || oldValue == null || !newValue.equals(oldValue)) {
    303301        for (PropertyChangeListener propertyChangeListener : changeListeners.get(key)) {
    304302          propertyChangeListener.propertyChange(new PropertyChangeEvent(CONFIG_FILE, key, oldValue, newValue));
     
    312310      editorFont = new Font(properties.getProperty(EDITOR_FONT_NAME), Font.PLAIN, properties.getInt(EDITOR_FONT_SIZE));
    313311      textAntiAliasing = TEXT_ANTIALIAS_MAP.get(properties.getProperty(EDITOR_FONT_ANTIALIASING));
    314     } catch (NumberFormatException e) {
     312    } catch (NumberFormatException ignored) {
    315313    }
    316314  }
     
    330328  /**
    331329   * Checks whether there are user changes.
     330   *
     331   * @return true if at least one property changed
    332332   */
    333333  public static boolean hasChanges() {
     
    349349  /**
    350350   * Returns the underlying properties.
     351   *
     352   * @return underlying properties
    351353   */
    352354  public static BetterProperties2 getProperties() {
Note: See TracChangeset for help on using the changeset viewer.