-
Vivia Nikolaidou authored
Printing 64 whitespaces to erase the "Paused" message (after \r) would make it wrap to the next line on shorter terminals. Instead we only print the amount of spaces needed. Also mark the "Paused" string for translation while we're at it.
0aacd7f3