On 2020-07-26 17:18, Paul A. Rubin wrote:
On 7/26/20 5:56 AM, Enrico Forestieri wrote:
On Sat, Jul 25, 2020 at 05:43:59PM -0400, Paul A. Rubin wrote:
Can someone confirm that (a) I'm not hallucinating and (b) this is a
new bug
(I couldn't find it in the issue tracker)? Create a test file with
On 7/26/20 5:56 AM, Enrico Forestieri wrote:
On Sat, Jul 25, 2020 at 05:43:59PM -0400, Paul A. Rubin wrote:
Can someone confirm that (a) I'm not hallucinating and (b) this is a new bug
(I couldn't find it in the issue tracker)? Create a test file with any text,
and turn on change tracking. Then
On Sat, Jul 25, 2020 at 05:43:59PM -0400, Paul A. Rubin wrote:
> Can someone confirm that (a) I'm not hallucinating and (b) this is a new bug
> (I couldn't find it in the issue tracker)? Create a test file with any text,
> and turn on change tracking. Then change fonts on some words (italics,
Can someone confirm that (a) I'm not hallucinating and (b) this is a new
bug (I couldn't find it in the issue tracker)? Create a test file with
any text, and turn on change tracking. Then change fonts on some words
(italics, bold, san serif, ...). None of the font changes are flagged as