This is an attempt to explore differences in GTK+'s and gails notions of which widget currently has the focus. Since gail does all its focus updates in an idle, we cannot do the comparisons synchronously, so just check ever so often in a timeout.
