Fabian Homborg d91b0f86f4 Repaint all prompts if the variables change
This is a good idea in general and simplifies the Classic + VCS
prompt.
2019-12-01 18:15:36 +01:00
..
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2019-01-27 15:38:03 +01:00