Source position: gdbmidebugger.pp line 96
type TGDBMIPauseWaitState = (
pwsNone,
pwsInternal,
pwsInternalCont,
pwsExternal
);