Esta é uma combinação de dois problemas:
O problema do super é que o Unity mudou recentemente para pegar a chave super completamente - até a versão 5.6.0 ele não passar nos teclados super que ele não usava para outros aplicativos que tinham ligações registradas, como Do.
O segundo problema é devido a uma mudança no GTK - é o bug # 903566 no Do, que é corrigido em 0,9 e no preciso. Você pode obter temporariamente um Do fixo do PPAs de criação diária .