source:
josm/trunk/src/org/openstreetmap@
10383
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
josm | 10383 | 8 years |
replace .get*Selected().isEmpty() by .selectionEmpty()
|
|
Note:
See TracBrowser
for help on using the repository browser.