TerminalUiDispatcher

fun interface TerminalUiDispatcher

Host scheduler used by the reusable Swing terminal for UI-thread work.

Implementations must eventually run submitted Runnable instances on the Swing Event Dispatch Thread. Standalone hosts normally use SWING; IntelliJ hosts can route through the platform application dispatcher while preserving EDT ownership of Swing component state.

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
abstract fun dispatch(runnable: Runnable)

Schedules runnable for execution on the UI thread.