Terminal widget with improved font, internationalization and
accessibility support for GTK applications.
