Putting Opera tab manager on the most top?

5

1

How I can remove top margin of Opera tab manager and put it in the most top position?

Opera Tab Manager Screenshot

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]

Ebrahim Byagowi

Posted 2012-11-22T18:36:08.783

Reputation: 336

Answers

7

There are two settings for that margin (depending on whether the Opera window is maximized or not):

opera:config#UserPrefs|ChromeIntegrationDragArea
opera:config#UserPrefs|ChromeIntegrationDragAreaMaximized

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:

  1. Go to the Preferences Editor by entering opera:config in the address bar.
  2. Type chrome in the Quick Find field to locate and edit them.
  3. Click the Save button. If you resize the Opera window you should see the changes take effect.

enter image description here

efotinis

Posted 2012-11-22T18:36:08.783

Reputation: 3 524

Nice answer, +1. I think you might've left out an instruction between 2 and 3 though, to adjust the values before saving ;-) – Amos M. Carpenter – 2012-11-23T10:35:04.790