Ubuntu
gnome-shell package

  1. Bug #1713323
  2. Comment #19

Comment 19 for bug 1713323

Revision history for this message
Rachel Greenham (rachel-strangenoises) wrote : Re: HiDPI support partially broken after upgrade to Gnome 3.25

Brad's comment: No, I've not seen the act of merely *launching* the gnome tweak tool fix or alter anything in any way. In fact, though probably related, the latest update seems to have broken its Extensions tab, but that's another bug.