Terminal widget with improved font, internationalization and
accessibility support for the GNOME 3 desktop.