Re: [PATCH] Add active mark, face support; activate mark on paste

On 4/12/20 11:04 PM, Daniel Colascione wrote: > On 4/12/20 6:23 PM, Chet Ramey wrote: >> On 4/12/20 2:15 PM, gentoo_esh...@tutanota.com wrote: >> >>> There is one more/different 'face' issue: if I paste a line and then >>> press Enter (as opposed to any alphanumeric key or arrow keys) then the >>>

Re: [PATCH] Add active mark, face support; activate mark on paste

Apr 13, 2020, 05:04 by dan...@dancol.org: > > > FWIW, for debugging the kinds of issues we're discussing here, rr(1) is > _incredibly_ helpful. > I can't use 'rr' due to system requirements: https://github.com/mozilla/rr#system-requirements $ sudo sysctl kernel.perf_event_paranoid=1; rr rec