class READLINE_PANEL
Summary
Direct parents
Inherit list: UI_TYPED_BRIDGE_PANEL
Insert list: READLINE_WIDGET
Class invariant
Overview
add (a_child: READLINE_WIDGET[UI_WIDGET])
effective procedure
run (context: READLINE_CONTEXT): BOOLEAN
effective function
writable attribute
{}
make (a_ui: UI_PANEL)
effective procedure
{}
require
  • a_ui /= Void
ensure
  • ui = a_ui
connect_to (a_job: UI_JOB)
deferred procedure
ui: UI_
writable attribute
{ANY}
effective function
{ANY}
ensure
  • Result.intern = Result
writable attribute
{}