GUI text editor using gtkmm