ANY LOOP_ITEM NONE
class interface TEXT_CURSOR_JOB
   -- Draw blinking cursor in text area.

creation
   default_create
      -- Default creation method. It is used when no creation
      -- method is specified if allowed. Note it may be renamed.

feature(s) from PERIODIC_JOB
   period: DOUBLE
      -- unit is seconds

   next_time: MICROSECOND_TIME

feature(s) from TEXT_CURSOR_JOB
   start_in (text_field: TEXT_FIELD)

   stop

   move


invariant

    period > 0;

    priority /= Minimum_integer;

end of TEXT_CURSOR_JOB