Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 Putting Opera tab manager on the most top? (Chromium engine-based Opera) [as the time of editing still not answered]

share|improve this question
up vote 7 down vote accepted

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

share|improve this answer
    
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 Nov 23 '12 at 10:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .