On Thu, Jun 13, 2013 at 02:41:35PM -0500, Joe Brockmeier wrote: > On Thu, Jun 13, 2013, at 02:21 PM, Mike Tutkowski wrote: > > If so, do you know how to fix this issue? > > I have not noticed it there, but other programs do this. If you get > this, try typing "reset" and hitting enter, that will sometimes help > reset the terminal.
or do Command-k
