class CURSES_TEXT_FIELD
Summary
Direct parents
Inherit list: CURSES_WIDGET, UI_TYPED_BRIDGE_TEXT_FIELD
Class invariant
Overview
Creation features
start: BOOLEAN
effective function
key_pressed (code: INTEGER_32): BOOLEAN
effective function
resized: BOOLEAN
effective function
connect_to (a_job: UI_JOB)
deferred procedure
ui: UI_
writable attribute
{ANY}
effective function
{ANY}
ensure
  • Result.intern = Result
make (a_ui: UI_)
effective procedure
{}
require
  • a_ui /= Void
ensure
  • ui = a_ui
writable attribute
{}