Até essa data, vi a maior parte do programa usando a guia ctrl + para iterar pelos painéis de guias abertos e ctrl + W para fechar o painel com guias atualmente ativo.
Agora, o que você espera é fechar o aplicativo, ou seja, substituir o padrão para agir no aplicativo inteiro, em vez do conteúdo interno do filho nos dois casos.
Portanto, marcá-los como bug não vai estar certo, pois eles estão fazendo o que foi atribuído a eles, mas sua experiência está criando conflito para eles. Agora, não estou usando o Ubuntu 12 caso contrário deve ter sugerido alguma solução alternativa. :)