Changeset 12620 in josm for trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/RenderBenchmarkCollector.java
- Timestamp:
- 2017-08-22T22:26:32+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/RenderBenchmarkCollector.java
r11726 r12620 9 9 import org.openstreetmap.josm.data.osm.visitor.paint.StyledMapRenderer.StyleRecord; 10 10 import org.openstreetmap.josm.gui.mappaint.mapcss.Selector; 11 import org.openstreetmap.josm.tools.Logging; 11 12 import org.openstreetmap.josm.tools.Utils; 12 13 … … 147 148 */ 148 149 public static Supplier<RenderBenchmarkCollector> defaultBenchmarkSupplier() { 149 return () -> Main.isTraceEnabled() || Main.pref.getBoolean("mappaint.render.benchmark", false)150 return () -> Logging.isTraceEnabled() || Main.pref.getBoolean("mappaint.render.benchmark", false) 150 151 ? new LoggingBenchmark() : new RenderBenchmarkCollector(); 151 152 }
Note:
See TracChangeset
for help on using the changeset viewer.