Como alterar o tamanho da janela do Tuxpaint

Minha filha de 5 anos adora pintar no Tuxpaint. O problema é que minha resolução de tela é de 1920x1080 e a janela padrão do aplicativo é de 800x600. A área de pintura fica muito pequena e não é possível redimensionar a janela.

Pois bem, pode ser uma informação irrelevante para muitos, mas custei a notar que existe um comando chamado "tuxpaint-config" onde é possível configurar o tamanho da tela do Tuxpaint. Execute:

tuxpaint-config

Surgirá uma tela semelhante a esta: Clique na aba "Video/Sound" e desmarque a opção "Use All Users Settings" para que as configurações de "Window Size" se tornem disponíveis. Escolha a sua preferida ou até mesmo "Fullscreen" e mande bala!

Bônus: se quiser saber/confirmar qual é a resolução de tela da tua sessão X, digite no terminal:

xrandr

Screen 0: minimum 8 x 8, current 3840 x 1080, maximum 16384 x 16384
DVI-I-0 disconnected (normal left inverted right x axis y axis)
DVI-I-1 connected 1920x1080+1920+0 (normal left inverted right x axis y axis) 477mm x 268mm
   1920x1080     60.00*+
   1680x1050     59.95  
   1280x1024     75.02    60.02  
   1152x864      75.00  
   1024x768      75.03    60.00  
   800x600       75.00    60.32  
   640x480       75.00    59.94  
DVI-I-2 connected primary 1920x1080+0+0 (normal left inverted right x axis y axis) 510mm x 287mm
   1920x1080     60.00*+  50.00  
   1680x1050     59.95  
   1600x1200     60.00  
   1440x900      59.89  
   1280x1024     60.02  
   1280x960      60.00  
   1280x800      59.81  
   1280x720      60.00    50.00  
   1024x768      60.00  
   800x600       60.32    56.25  
   720x576       50.00  
   720x480       59.94  
   640x480       59.94  
HDMI-0 disconnected (normal left inverted right x axis y axis)
DVI-I-3 disconnected (normal left inverted right x axis y axis)

Neste exemplo nota-se que uso 2 monitores com resolução de 1920x1080 cada.