>Thanks, Hilmar. It would be nice to be able to control this behavior for certain sites. Say, here I would prefer to see old-fashioned tooltips...
>I've quickly checked Opera's preferences, but could not find a way to change it either. Anyway, not a big deal.
I just found something weird, while searching through the preferences. Under "Tools | Preferences | Skins", the actual buttons are shown; not just its picture. This means, for example, that pressing the "Back" button in the preferences window will actually make your browser go back.
Difference in opinions hath cost many millions of lives: for instance, whether flesh be bread, or bread be flesh; whether whistling be a vice or a virtue; whether it be better to kiss a post, or throw it into the fire... (from Gulliver's Travels)