Changes between Version 8 and Version 9 of Ticket #7548, comment 117
- Timestamp:
- 2020-11-16T18:15:23+01:00 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #7548, comment 117
v8 v9 15 15 - Switch to Jtree, JList or ... to improve the Aqua LaF workaround (comment:81, comment:101, comment:108) 16 16 - Add a searchbox to filter the preferences to find things quicker (comment:81) 17 - Check about dead code after restructure, e.g. remove the "Map" tab (MapPreference.java) as it is never displayed (comment:75) 17 - ✓ (r17315) Check about dead code after restructure, e.g. remove the "Map" tab (MapPreference.java) as it is never displayed (comment:75)