Class InfoPage

    • Field Detail

      • log

        private static final java.util.logging.Logger log
      • table

        private org.eclipse.swt.widgets.Table table
      • tilePaintCount

        private int tilePaintCount
      • controlPaintTime

        private long controlPaintTime
      • tileCacheUsed

        private int tileCacheUsed
      • tileCacheSize

        private int tileCacheSize
    • Constructor Detail

    • Method Detail

      • format

        private static java.lang.String format​(double d)
      • updateInfos

        public void updateInfos()
      • widgetDisposed

        protected void widgetDisposed​(org.eclipse.swt.events.DisposeEvent e)
        Specified by:
        widgetDisposed in class AbstractPage
      • mapPainted

        public void mapPainted​(int tileCount,
                               long time)
        Description copied from interface: InternalGeoMapListener
        Notifies listener that the control has been (re)painted
        Specified by:
        mapPainted in interface InternalGeoMapListener
        Parameters:
        tileCount - the number of tiles that where painted
        time - the time it took
      • tileCacheUpdated

        public void tileCacheUpdated​(int used,
                                     int size)
        Description copied from interface: InternalGeoMapListener
        Notifies listener that the tile cache has been updated
        Specified by:
        tileCacheUpdated in interface InternalGeoMapListener
        Parameters:
        used - the used slots of the cache
        size - the size of the cache