User Feedback :: change terminal fonts

thanks, aterm is more than good enough for what I needed, problem solved

original here.