Public bug reported:
I have a HiDPI screen and so have org.gnome.desktop.interface.scaling-
factor set to 2 in gsettings so that everything isn't super tiny.
$ gsettings get org.gnome.desktop.interface scaling-factor
uint32 2
This has always work perfectly. That is, until this last round of
updates on the artful daily. After I ran apt upgrade this morning (first
time it like a week maybe?) scaling-factor seems to be ignored;
everything is tiny again.
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-shell 3.24.3-0ubuntu4
ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
Uname: Linux 4.12.0-13-generic x86_64
ApportVersion: 2.20.7-0ubuntu1
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Sep 17 12:23:22 2017
DisplayManager: gdm3
InstallationDate: Installed on 2017-07-18 (60 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170705)
ProcEnviron:
TERM=xterm-256color
PATH=(custom, no user)
XDG_RUNTIME_DIR=<set>
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug artful third-party-packages
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1717805
Title:
org.gnome.desktop.interface.scaling-factor is ignored
Status in gnome-shell package in Ubuntu:
New
Bug description:
I have a HiDPI screen and so have org.gnome.desktop.interface.scaling-
factor set to 2 in gsettings so that everything isn't super tiny.
$ gsettings get org.gnome.desktop.interface scaling-factor
uint32 2
This has always work perfectly. That is, until this last round of
updates on the artful daily. After I ran apt upgrade this morning
(first time it like a week maybe?) scaling-factor seems to be ignored;
everything is tiny again.
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-shell 3.24.3-0ubuntu4
ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
Uname: Linux 4.12.0-13-generic x86_64
ApportVersion: 2.20.7-0ubuntu1
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Sep 17 12:23:22 2017
DisplayManager: gdm3
InstallationDate: Installed on 2017-07-18 (60 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170705)
ProcEnviron:
TERM=xterm-256color
PATH=(custom, no user)
XDG_RUNTIME_DIR=<set>
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1717805/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
