/logo/src/xlogo/gui/preferences/