Bedankt voor de tip. Die geschiedenis is nu weg.
Alleen blijft hij wel steeds een menu uitklappen met al mijn 7 zoekmachines (zonder geschiedenis, dus het is niet meer zo groot).
Het is mij een raadsel waarom Opera deze irritante zaken inbouwt; als ik een andere zoekmachine wil gebruiken kan ik gewoon op dat pijltje klikken.