Я программирую некоторые виды и редакторы в Eclipse, и у меня возникает следующая проблема.
Как заставить что-то произойти только после определенного периода "бездействия"?
Так что моя проблема в этом. У меня есть представление, которое отображает информацию от определенной модели. Модель отправляет события при обновлении, но иногда может отправлять поток событий. Вместо того, чтобы заставлять мое представление перерисовываться при каждом отдельном событии, я хочу установить для таймера событие, и только если этот таймер истекает без появления другого события, я хочу на самом деле обновить свое представление. Однако я не могу найти способ сделать это. Лучшее, что я могу найти, - это метод Display.timerExec, но мне придется вызывать его для каждого события, а затем проверять некоторую временную метку, чтобы увидеть, наступило ли другое событие в это время.
Я посмотрел классы простого Java-таймера, но, похоже, они также не предоставляют мне сбрасываемый таймер.
У кого-нибудь есть идеи, как мне добиться того, что я хочу сделать?