class TEXT_CURSOR_JOB

Features exported to JOB

Draw blinking cursor in text area.

Direct parents

conformant parents

GRAPHIC, PERIODIC_JOB

Summary

creation features

exported features

Details

default_create

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

start_in (text_field: TEXT_FIELD)
stop
move
period: REAL

unit is seconds

next_time: MICROSECOND_TIME
priority: INTEGER

Never change priority after job inserted in loop_item. Priority should only be set at creation time.

Class invariant