Fix for WK-79: Python box resize has no effect on Python editor
Fix for WK-79: Python box resize has no effect on Python editor

rpiotti/Web-Karma,sylvanmist/Web-Karma,rpiotti/Web-Karma,rpiotti/Web-Karma,sylvanmist/Web-Karma,usc-isi-i2/Web-Karma,usc-isi-i2/Web-Karma,usc-isi-i2/Web-Karma,usc-isi-i2/Web-Karma,sylvanmist/Web-Karma,rpiotti/Web-Karma,sylvanmist/Web-Karma,sylvanmist/Web-Karma,rpiotti/Web-Karma,usc-isi-i2/Web-Karma