OK, descobri que o gconf-editor para Gnome3 é chamado de Advanced Settings. Eu procurei por ele no Centro de Software e o instalei e executei depois em Ferramentas do Sistema - Preferências - Configurações Avançadas
Tudo o que eu precisava ajustar estava dentro desse programa.