source:
josm/trunk/src/org/openstreetmap/josm@
577
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
actions | 577 | 16 years | when dragging play head (a) fix bug re extraneous rubber band … | ||
command | 343 | 17 years | Merge 0.5. | ||
data | 571 | 16 years | Restored time/setTime semantics accidentally broken in r553. | ||
gui | 577 | 16 years | when dragging play head (a) fix bug re extraneous rubber band … | ||
io | 572 | 16 years | Reorganise audio interface in light of recent usability comments | ||
plugins | 509 | 16 years | Fix parsing of Plugins.xml | ||
tools | 577 | 16 years | when dragging play head (a) fix bug re extraneous rubber band … | ||
Main.java | 15.0 KB | 529 | 16 years | Part one of patch by Dave Hansen <dave@…> - Remove unused … |
Note:
See TracBrowser
for help on using the repository browser.