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