Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

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
add comment

1 Answer

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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.