bce86f1 * fixed jedi symbol fade-out not entirely satisfied with this solution,
as the text should change size without transition