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