Whatever happened, the bug appears to be no longer present in current ubuntu release 17.10. This may well be due to Ubuntu's switch to GNOME.
Whatever happened, the bug appears to be no longer present in current ubuntu release 17.10. This may well be due to Ubuntu's switch to GNOME.