@Dominique: yes, your issue is probably a separate bug, please open a new bug report, preferably by using the ubuntu-bug tool as described in https://wiki.ubuntu.com/X/Reporting . Thanks!
@Dominique: yes, your issue is probably a separate bug, please open a new bug report, preferably by using the ubuntu-bug tool as described in https:/ /wiki.ubuntu. com/X/Reporting . Thanks!