Fixed bug where formatting using menus or toolbars wasn't possible on Opera 12.15.