On Mon, 2013-08-26 at 15:20 +0200, Frederic Peters wrote:
Allan Day wrote:This is a very small visual change, which will only impact screenshots. https://bug706796.bugzilla-attachments.gnome.org/attachment.cgi?id=253131As written in the bug report, I'm fine with such pixel changes at this moment.
Looking at the gnome-user-docs, it seems that these screenshots might be affected: https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/shell-top-bar.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/shell-top-bar-classic.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/shell-appts-classic.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/shell-exit.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/shell-exit-classic.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/shell-workspaces.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/top-bar-icons.png?h=master https://git.gnome.org/browse/gnome-user-docs/plain/gnome-help/C/figures/top-bar-icons-classic.png?h=master However, these screenshots need updates anyway due to not showing the username anymore, hence another r-t +1 from me. andre -- Andre Klapper | ak-47 gmx net http://blogs.gnome.org/aklapper/
