<type>documentation</type>
<domain>custom</domain>
<id>gui-options</id>
<title>User Interface Options</title>
<date>$Date$</date>
<version>$Revision$</version>
<product>all</product>

Wing provides many options for customizing the user interface to your needs, by
changing display style and colors, the number and type of windows, layout
of tools and editors, type of toolbar, and text font and size.
