refresh_tile_time


Description:

public virtual void refresh_tile_time (Tile tile)

Refreshes the tile access time in the cache.

Parameters:

this

a TileCache

tile

a Tile




2022 vala-language.org