The XView properties editor allows the user to customise and
configure many workspace properties (colour, icons, menus,
mouse and localisation).