Estou experimentando o editor da Pluma no Ubuntu Mate. Eu gosto, mas não consigo encontrar uma opção de preferências para desligar o sino.
Esta opção está em outro lugar? Eu também não vejo uma opção de linha de comando.
Nenhuma dessas tentativas funciona | aqui: link
ou aqui: link
Obrigado.
Entre nas preferências de som para desativar todos os sons do sistema, basta escolher Sem tema de som.