Post Saturday, 17th October 2020, 17:13

Why does Crawl look like this? (Panel scaling issue)

For some reason, since version 0.25 or so, I've had this serious problem with the map/stats panel taking up more than half the window for Crawl. I don't know what's causing it, exactly, although my font settings in my ~/.crawl/init.txt seem to have something to do with it (changing the font sizes changes the size of the panels, but they still take up far too much space on the right). Unfortunately I'm not sure how to fix it. It's harder to describe than show so I'll just post a screencap:


Note that I play Crawl on a 28" 4K monitor, although I scaled this screenshot by 1/2, so it's not so large. Regardless, I've played the game for awhile without this problem, until recently.

These are my font settings (they have to be set much higher than normal, for my high DPI, else the fonts are far too small):

tile_font_crt_file = /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf
tile_font_crt_size = 32

tile_font_stat_file = /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf
tile_font_stat_size = 30

tile_font_msg_file = /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf
tile_font_msg_size = 28

tile_font_tip_file = /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf
tile_font_tip_size = 28

tile_font_lbl_file = /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf
tile_font_lbl_size = 28

The other settings don't seem to be relevant, although my tile_cell_pixels size is set to 80, because the default, again, is far too small for my monitor.

Any ideas?