Changeset 173
- Timestamp:
- 07/29/08 12:46:03 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/gui/PopupManager.java
r168 r173 424 424 425 425 ap.popup.onShow(); 426 427 // Invalidate the popup border 428 if (Popup.BORDER_THICKNESS > 0) { 429 invalidatePopup(ap.popup); 430 } 426 431 } 427 432
Note:
See TracChangeset
for help on using the changeset viewer.