@phoinixtk: Great, very helpful! BTW: you don't have to restart Opera, just turn off and then on the extension.

@phoinixtk: Great, very helpful! BTW: you don't have to restart Opera, just turn off and then on the extension.

@jordan9312 Thank you for the simple solution. I brought back the dev tool position using @sgunhouse's hints.

Is there any solution (e.g. settings file) to have devtool window attached to Opera window again (until Opera Software fix the bug)?