Robert, your suggestion sounds good to me (at least until we figure out a better way to do it). I reported this bug https://bugs.launchpad.net/ubuntu-ui-toolkit/+bug/1256124 which needs to be fixed first.
Robert, your suggestion sounds good to me (at least until we figure out a better way to do it). /bugs.launchpad .net/ubuntu- ui-toolkit/ +bug/1256124 which needs to be fixed first.
I reported this bug https:/