Re: Problem with gnome-tweak-tool after changing the window scaling factor to 2