source: josm/trunk/src/org/openstreetmap/josm/gui/animation

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @18932   14 months stoecker fix some CI warnings
(edit) @18931   14 months stoecker pmd
(edit) @18930   14 months stoecker checkstyle
(edit) @18929   14 months stoecker proper interface
(edit) @17726   4 years simon04 see #14176 - Migrate AnimationExtensionManager to LocalDate (ZoneId) …
(edit) @17719   4 years simon04 see #14176 - Migrate AnimationExtensionManager to LocalDate
(edit) @17322   4 years Don-vip fix #20018 - disable repaint timer when no animation extension is enabled
(edit) @15602   5 years GerdP fix #18431: add expert option gui.start.animation. If set to false …
(edit) @15231   6 years Don-vip fix more Spotbugs warnings
(edit) @14592   6 years Don-vip fix minor code style issues
(edit) @14581   6 years Don-vip fix recent sonar issues
(add) @14578   6 years Don-vip It's Christmas time! Animate our "Getting Started" page with shining …
Note: See TracRevisionLog for help on using the revision log.