As Alberts says, "there is no way to disable dots without hacking code"
in the current releases, so you will have to wait until 3.16 (which will
be in Ubuntu 15.10).
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-panel in Ubuntu
https://bugzilla.gnome.org/show_bug.cgi?id=742069
Looks like that can't be fixed upstream. But maybe we can add some special
ubuntu patches.
** Bug watch added: GNOME Bug Tracker #742069
https://bugzilla.gnome.org/show_bug.cgi?id=742069
--
You received this bug notification because you are
