Changeset 8384 in josm for trunk/src/org/openstreetmap/josm/gui/NotificationManager.java
- Timestamp:
- 2015-05-17T15:52:24+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/NotificationManager.java
r8346 r8384 357 357 g.setColor(getBackground()); 358 358 float lineWidth = 1.4f; 359 Shape rect = new RoundRectangle2D. Float(360 lineWidth/2 + getInsets().left,361 lineWidth/2 + getInsets().top,362 getWidth() - lineWidth/2 - getInsets().left - getInsets().right,363 getHeight() - lineWidth/2 - getInsets().top - getInsets().bottom,359 Shape rect = new RoundRectangle2D.Double( 360 lineWidth/2d + getInsets().left, 361 lineWidth/2d + getInsets().top, 362 getWidth() - lineWidth/2d - getInsets().left - getInsets().right, 363 getHeight() - lineWidth/2d - getInsets().top - getInsets().bottom, 364 364 20, 20); 365 365
Note:
See TracChangeset
for help on using the changeset viewer.