Het klassieke Gnome panel dat ik gebruik verschijnt na de upgrade, werkt ook wel (nog steeds geen aanwijzing van de taal van het toetsenbord!) maar kan niet gewijzigd worden. Alt+rechtsklikken op de balk heeft geen enkel effect. Wat zou hieraan te doen zijn? -- Frits Florin