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