Introduce measure fps widget

This commit is contained in:
Victor Shcherb 2013-08-05 20:45:06 +02:00
parent d183c2b8ae
commit f1f9f6d498

View file

@ -61,12 +61,12 @@ public class OsmandDevelopmentPlugin extends OsmandPlugin {
if(!mv.isMeasureFPS()) { if(!mv.isMeasureFPS()) {
mv.setMeasureFPS(true); mv.setMeasureFPS(true);
} }
setText(Float.toString(mv.getFPS()), "FPS"); setText(Integer.toString((int) mv.getFPS()), "FPS");
return true; return true;
} }
}; };
mapInfoLayer.getMapInfoControls().registerSideWidget(fps, 0, mapInfoLayer.getMapInfoControls().registerSideWidget(fps, 0,
R.string.map_widget_fps_info, "fps", false, EnumSet.allOf(ApplicationMode.class), R.string.map_widget_fps_info, "fps", false, EnumSet.noneOf(ApplicationMode.class),
EnumSet.noneOf(ApplicationMode.class), 30); EnumSet.noneOf(ApplicationMode.class), 30);
mapInfoLayer.recreateControls(); mapInfoLayer.recreateControls();
} }