5

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]

0

1 Answer 1

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

1
  • Nice answer, +1. I think you might've left out an instruction between 2 and 3 though, to adjust the values before saving ;-) Nov 23, 2012 at 10:35

You must log in to answer this question.

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