Text editor implemented with php-gtk2