Correction:

In a fresh boot (after powered off) size changed to normal only with
restarting environment. If gnome-teak-tool is used, size could change
from small to tiny only. Although, after restarting environment (alt+f2
+r) then gnome-teak-tool do the job as well.
** Project changed: gnome-shell => gnome-shell (Ubuntu)

** Tags removed: gnome
** Tags added: gnome-17.10

** Tags added: gnome ubuntu-17.10

** Tags added: gnome-shell

** Tags added: topbar

** Tags added: hidpi size

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1717479

Title:
  ubuntu 17:10 Artful: topbar size on hidpi

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1717479/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to