[Bug tui/25126] GDB uses the staled (cached?) source file

hjl.tools at gmail dot com sourceware-bugzilla@sourceware.org
Tue Oct 22 23:38:00 GMT 2019


H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
                 CC|                            |tromey at sourceware dot org

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
This is caused by

commit 872dceaaff9b54764b8f510b549497b9d904b136
Author: Tom Tromey <tromey@adacore.com>
Date:   Mon Jul 22 12:41:23 2019 -0600

    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.

The staled plain text in the source cache is used for source display.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the Gdb-prs mailing list