Guia do usuário do Extra! > Sessões de terminal > Recursos de produtividade > Página Geral de Configurações - Produtividade > Alterar a fonte no Bloco de Rascunho

Alterar a fonte no Bloco de Rascunho

No painel Produtividade, você pode escolher uma fonte para usar no Bloco de Rascunho em uma lista de fontes instaladas.

Para alterar a fonte

  1. No painel Produtividade, clique em Scratch Pad (Bloco de Rascunho).

  2. Na barra de ferramentas, clique no botão Fontes para abrir a caixa de diálogo Fontes. Essa caixa de diálogo é parte do sistema Windows e exibe todas as fontes instaladas no sistema.

  3. Especifique a fonte, incluindo o tamanho e o estilo que você deseja, e clique em OK.