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