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

[hjl.tools at gmail dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=25126

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.