timer property

Timer timer
final

timer that postpones any heavy request until some pause in user input

Implementation

final Timer timer;