]> git.tue.mpg.de Git - paraslash.git/commit
gui: Fix formatting of amp value.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 9 Aug 2024 20:53:00 +0000 (22:53 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 10 Sep 2024 13:45:32 +0000 (15:45 +0200)
commit74ba3e055775f552c86f13967c2bb56c675b9310
treee72590cf4e413bd37a662f8f68bffbaafad1dc4c
parent9057cae0faefa3f6a31edd6aa6000f24ffcd3124
gui: Fix formatting of amp value.

It was observed on a 178 column wide xterm window that for the colorful
blackness theme the amp value shown in the top window of para_gui
wrapped into the subsequent line under some circumstances. Adjust
the corresponding value in gui_theme.c to fix this.

Also add the missing space character to the prefix and fix a whitespace
issue while at it.
gui_theme.c