Com o meu Xubuntu 12 com o xfce, configurei um tamanho padrão de janela 80x24 para os meus terminais. Mas abrir uma janela resulta em uma janela menor de 79x24. (Para mim, isso parece um bug - pelo menos meu antigo sistema Xubuntu não mostrou esse comportamento -, mas no caso de eu perder algo, eu agradeço ponteiros.)
O que posso fazer para configurar o tamanho da janela que configuramos por meio da configuração do meu perfil?
Informação adicional (no caso de ser importante): Alguma configuração adicional para as janelas de terminal que eu fiz é; Ativando barra de rolagem vertical, alterando o tamanho da fonte para uma fonte maior e usando uma fonte de negrito. (Eu acho que nada disso deveria resultar em uma redução da dimensão configurada que é definida em unidades de caracteres a serem exibidos, ou assim eu acho.) E eu também já olhei para o arquivo de configuração ~/.config/Terminal/terminalrc (como proposto em outro SE), mas também há apenas as coisas visíveis que eu configurei pela GUI, especificamente a configuração 80x24.
(Caso seja um bug, eu também daria as boas-vindas a sugestões de alternativas.)
Edit: Minha solução atual é definir no menu de contexto da GUI um tamanho de 81x24 para obter o terminal 80x24 desejado. (Portanto, os valores nas preferências de perfil são obviamente considerados, apenas não calculados corretamente.)