diff options
| author | Tom Tromey <tromey@adacore.com> | 2019-07-22 12:41:23 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2019-08-06 08:04:33 -0600 |
| commit | 872dceaaff9b54764b8f510b549497b9d904b136 (patch) | |
| tree | 7f0c706a0aee1f8b7961c78132f7174239dbf0c1 /gdb/tui | |
| parent | 269249d9406096dd59aecd8845e960fdddb1ebfe (diff) | |
| download | gdb-872dceaaff9b54764b8f510b549497b9d904b136.zip gdb-872dceaaff9b54764b8f510b549497b9d904b136.tar.gz gdb-872dceaaff9b54764b8f510b549497b9d904b136.tar.bz2 | |
Save plain text in the source cache
Currently the source cache will only store highlighted text. However,
there's no reason it could not also store plain text, when styling is
turned off.
This patch makes this change. This also simplifies the source cache
code somewhat.
gdb/ChangeLog
2019-08-06 Tom Tromey <tromey@adacore.com>
* source-cache.c (source_cache::get_plain_source_lines):
Remove "first_line" and "last_line" parameters.
(source_cache::get_source_lines): Cache plain text.
* source-cache.h (class source_cache)
<get_plain_source_lines>: Update.
Diffstat (limited to 'gdb/tui')
0 files changed, 0 insertions, 0 deletions