Estou usando o FC 19 com a configuração padrão do Gnome. Supondo que este seja o shell do Gnome, alguma versão 3.
Alguns aplicativos comuns têm menus muito longos. Um exemplo fácil é o Gedit e o menu de idiomas. Isso é tão grande que é mais alto que meu desktop. Eu olhei no gconf-editor, e procurei na internet - não consigo encontrar uma maneira de obter uma barra de rolagem ou colunas ou alguma outra maneira de ver todas as opções no menu.
Como posso ver e selecionar opções neste longo menu?