diff options
| author | Pedro Alves <palves@redhat.com> | 2017-11-07 13:03:39 +0000 |
|---|---|---|
| committer | Pedro Alves <palves@redhat.com> | 2017-11-07 13:04:42 +0000 |
| commit | 5f6d441b51f671d2c2a684e9a2348487500cef74 (patch) | |
| tree | 3e0f739380b1aad5bb443ff6a33a92779108272d /gdb/source.c | |
| parent | 598364c2a4bb8fd086763a0eecedfaa581e4b214 (diff) | |
| download | binutils-gdb-users/palves/per_ui_repeat.tar.gz | |
show_commandsusers/palves/per_ui_repeat
Diffstat (limited to 'gdb/source.c')
| -rw-r--r-- | gdb/source.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/source.c b/gdb/source.c index 6ac1af22063..61a36343fe1 100644 --- a/gdb/source.c +++ b/gdb/source.c @@ -111,6 +111,12 @@ get_current_source_info () return *current_ui->curr_source_info; } +void +delete_current_source_info (struct ui *ui) +{ + delete ui->curr_source_info; +} + /* Default number of lines to print with commands like "list". This is based on guessing how many long (i.e. more than chars_per_line characters) lines there will be. To be completely correct, "list" |