diff options
Diffstat (limited to 'gdb/extension-priv.h')
| -rw-r--r-- | gdb/extension-priv.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gdb/extension-priv.h b/gdb/extension-priv.h index 2af2ded..c356710 100644 --- a/gdb/extension-priv.h +++ b/gdb/extension-priv.h @@ -254,6 +254,13 @@ struct extension_language_ops struct type *obj_type, const char *method_name, std::vector<xmethod_worker_up> *dm_vec); + + /* Colorize a source file. NAME is the source file's name, and + CONTENTS is the contents of the file. This should either return + colorized (using ANSI terminal escapes) version of the contents, + or an empty option. */ + gdb::optional<std::string> (*colorize) (const std::string &name, + const std::string &contents); }; /* State necessary to restore a signal handler to its previous value. */ |