GGU-BORELOG: Graphics preferences menu GGU-BORELOG: "Refresh and zoom" menu item GGU-BORELOG: "Zoom info" menu item GGU-BORELOG: "Font selection" menu item GGU-BORELOG: "Header toolbar" menu item GGU-BORELOG: "Toolbar preferences" menu item
