JetBrains/jediterm — pull request #94 by Plonk42 (2014-05-27 15:42:39+00:00)
Title: Are damages still used?

It came to me that damages are no more used.
They are modified in some places, but never read.

Did I missed something?

If not, here is a patch to remove it.