- Timestamp:
- 2009-11-02T15:41:31+01:00 (16 years ago)
- File:
- 
      - 1 edited
 
 
Legend:
- Unmodified
- Added
- Removed
- 
      trunk/src/org/openstreetmap/josm/gui/dialogs/PropertiesDialog.javar2381 r2383 130 130 } 131 131 } 132 @Override public void mousePressed(MouseEvent e) { 133 if (e.getSource() == propertyTable) { 134 membershipTable.clearSelection(); 135 } else if (e.getSource() == membershipTable) { 136 propertyTable.clearSelection(); 137 } 138 } 132 139 } 133 140 
  Note:
 See   TracChangeset
 for help on using the changeset viewer.
  
