Changeset 12808 in josm for trunk/src/org/openstreetmap/josm/gui/widgets
- Timestamp:
- 2017-09-09T20:13:14+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/widgets/MultiSplitLayout.java
r11948 r12808 621 621 while (splitChildren.hasNext()) { 622 622 Node splitChild = splitChildren.next(); 623 Divider dividerChild = 624 splitChildren.hasNext() ? (Divider) (splitChildren.next()) : null; 623 Divider dividerChild = null; 624 if (splitChildren.hasNext()) { 625 Node next = splitChildren.next(); 626 if (next instanceof Divider) { 627 dividerChild = (Divider) next; 628 } 629 } 625 630 626 631 double childWidth;
Note:
See TracChangeset
for help on using the changeset viewer.