How I can remove top margin of Opera tab manager and put it in the most top position?
In fact, this is most annoying thing about Opera for me! Thanks 🙂
Edit:
This is for Opera till version 12. For newer versions of Opera (> 15), have a look at Push Opera tabs all the way to the top [as the time of editing still not answered]
Best Answer
There are two settings for that margin (depending on whether the Opera window is maximized or not):
If you set these to
0
, you can completely eliminate the top margin. Personally, I like to have a 1-pixel margin on top, so that I can drag and move Opera when it's maximized in Win7 and to have access to the window menu, but that's just me.To edit them, follow these steps:
opera:config
in the address bar.chrome
in the Quick Find field to locate and edit them.