On Thu, 16 Apr 2020 11:30:01 -0500 "Julio C. Ortega" <ju...@ortegamartinez.me> wrote: > I can confirm also that downgrading gir1.2-gnomedesktop-3.0 to 3.34.2-2 > solved the problem.
You can also force the next version of gnome-shell from unstable. sudo apt install gnome-shell/unstable mutter/unstable gnome-shell-extensions/unstable Include gnome-shell-extensions in your upgrade to avoid problems with missing dependencies. And give it a try with the option --simulate before to be sure it won't break something. > Julio C. Ortega Jean-Marc <ji...@belgacom.net>
