Source position: gdbmidebugger.pp line 141
type TGDBMIDebuggerCharsetEncoding = (
gdceDefault,
gdceLocale,
gdceUtf8
);