Changeset 9252 in josm


Ignore:
Timestamp:
2016-01-02T00:54:32+01:00 (6 years ago)
Author:
Don-vip
Message:

see #10684 - update to checkstyle 6.14.1

Location:
trunk
Files:
1 added
1 deleted
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/build.xml

    r9250 r9252  
    609609    <target name="checkstyle">
    610610        <taskdef resource="com/puppycrawl/tools/checkstyle/ant/checkstyle-ant-task.properties"
    611              classpath="tools/checkstyle/checkstyle-6.14-all.jar"/>
     611             classpath="tools/checkstyle/checkstyle-6.14.1-all.jar"/>
    612612        <checkstyle config="tools/checkstyle/josm_checks.xml">
    613613            <fileset dir="${basedir}/src/org/openstreetmap/josm" includes="**/*.java"
  • trunk/src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPreference.java

    r9242 r9252  
     1// License: GPL. For details, see LICENSE file.
    12package org.openstreetmap.josm.gui.preferences.server;
    23
  • trunk/src/org/openstreetmap/josm/tools/ImageResource.java

    r9251 r9252  
    164164            realHeight = svg.getHeight();
    165165            /* extend small images to the possible maximum, may get reduced later again */
    166             if(maxSize.width != -1 && realWidth < maxSize.width) {
     166            if (maxSize.width != -1 && realWidth < maxSize.width) {
    167167                realHeight *= maxSize.width/realWidth;
    168168                realWidth = maxSize.width;
    169169            }
    170             if(maxSize.height != -1 && realHeight < maxSize.height) {
     170            if (maxSize.height != -1 && realHeight < maxSize.height) {
    171171                realWidth *= maxSize.height/realHeight;
    172172                realHeight = maxSize.height;
Note: See TracChangeset for help on using the changeset viewer.