Re: UI thread timer?

[Bill van Melle]

Thanks!  ApplicationContext.scheduleRecurringCallback is exactly what I was
looking for.  Even easier to use than the Swing timer.

(Searching on "timer" was apparently not the right strategy in this case.)