id summary reporter owner description type status priority milestone component version resolution keywords cc blockedby blocking platform 3895 [Terminal] jumping text after font change diver korli "I changed font from ""DejaVu Sans Mono"" to ""DejaVu Sans"" and terminal output became a mess." bug closed normal R1 Applications/Terminal R1/pre-alpha1 fixed All