A simple Rich Text Editor base on WebKitGTK+