I just did an apt upgrade yesterday (using 18.04) and have now acquired this same problem. I can force a repaint by minimizing and then unminimizing the window.
I just did an apt upgrade yesterday (using 18.04) and have now acquired this same problem. I can force a repaint by minimizing and then unminimizing the window.