Changeset 12234 in josm
- Timestamp:
- 2017-05-22T21:22:08+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MenuScroller.java
r11506 r12234 304 304 } 305 305 306 /**307 * Ensures that the <code>dispose</code> method of this MenuScroller is308 * called when there are no more refrences to it.309 *310 * @throws Throwable if an error occurs.311 * @see MenuScroller#dispose()312 */313 @Override314 protected void finalize() throws Throwable {315 dispose();316 super.finalize();317 }318 319 306 private void refreshMenu() { 320 307 if (menuItems != null && menuItems.length > 0) {
Note:
See TracChangeset
for help on using the changeset viewer.