Package editor

Class EditorHost.TimerPool

java.lang.Object
editor.EditorHost.TimerPool
Enclosing class:
EditorHost

private static class EditorHost.TimerPool extends Object
  • Field Details

  • Constructor Details

    • TimerPool

      private TimerPool()
  • Method Details

    • requestTimer

      Timer requestTimer(int millis, ActionListener action)
    • waitForAllTimersToFinish

      void waitForAllTimersToFinish()