Apologies; I somehow managed to forget GNOME's bug tracker. Now reported upstream.
** Bug watch added: GNOME Bug Tracker #517729 http://bugzilla.gnome.org/show_bug.cgi?id=517729 ** Also affects: gnome-system-monitor via http://bugzilla.gnome.org/show_bug.cgi?id=517729 Importance: Unknown Status: Unknown -- Regression: Cannot move cursor to custom colour picker widgets (using Tab key) in Resources page https://bugs.launchpad.net/bugs/193739 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug contact for gnome-system-monitor in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs