O MonoDevelop (ambiente de desenvolvimento Mono) não permite a configuração de um proxy através do sistema, o que causa travamentos quando da utilização do autocomplete.

Para possibilitar a utilização do mesmo sem maiores problemas, basta setar as variáveis de proxy do ambiente, para facilitar você pode criar um starter para o mono.

Execute o seguinte como root:

1. Crie um arquivo chamado "start_mono".

2. Coloque dentro dele o seguinte:


3. Salve este arquivo e dê permissão de execução:

# chmod +x monodevelop

4. Mova o arquivo para:

/usr/bin/start_mono

E agora como usuário normal basta criar um atalho no desktop para "start_mono" que seu mono deverá ser iniciado e funcionar corretamente.