preferences dialog: adapted tool-tip for grayed out options