*** ../bash-20200408/lib/readline/display.c	2020-04-07 14:55:15.000000000 -0400
--- lib/readline/display.c	2020-04-11 11:46:04.000000000 -0400
***************
*** 1758,1763 ****
--- 1758,1766 ----
  		  ne = new + nmax;
  		  nd = newbytes;
  		  nfd = new + nd;
+ 		  ofdf = old_face;
+ 		  nfdf = new_face;
+ 
  		  goto dumb_update;
  		}
  	      if (oldbytes != 0 && newbytes != 0)