traff/jediterm — pull request #32 by Plonk42 (2013-07-23 09:18:06+00:00)
Title: Missing synchronized keywords

Lost during merge in https://github.com/traff/jediterm/commit/1fb3b1405fa919db073a86bc680cf28ad36dd26f