]> git.tuebingen.mpg.de Git - paraslash.git/commit
gui: Allow for 4-digit image IDs on 80-character terminals.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 27 Sep 2022 10:05:01 +0000 (12:05 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 24 Oct 2022 14:54:48 +0000 (16:54 +0200)
commitbe6cdae0466199a60c3e3e749a2b331c762dc6fc
tree897f8f72906c7916bd79247b858396068d4cbbab
parentbbf102f76c471be5e6b5d6c76e010c4c49f031de
gui: Allow for 4-digit image IDs on 80-character terminals.

Currently, the first digit of a 4-digit image ID get truncated to
three characters if the width of the terminal window is at its minimal
size of 80 characters. We can squeeze out two more characters from
the previous field, so this is easy to fix.

This only affects the colorful blackness theme.
gui_theme.c