Você deve ser capaz de usar o caster de tela padrão (pode ser a mesma coisa ... eu não sei ...) que vem com o Gnome - é só usar o atalho do teclado : Ctrl + Desloc + Alt + R
Se você usar as configurações de 'Teclado' e, em seguida, 'atalho', poderá alterar este atalho:
Você também pode remover quaisquer atalhos de teclado que possam sobrepor os que você especificou.
Mais aqui