a simple GNOME i18n editor