Colocar o gerenciador de guias do Opera no topo da lista?

5

Como posso remover a margem superior do gerenciador de guias do Opera e colocá-lo na posição mais alta?

Naverdade,essaéacoisamaischatadoOperaparamim!Obrigado:)

Editar:IstoéparaoOperaatéaversão12.ParaversõesmaisrecentesdoOpera(>15),dêumaolhadaem até o topo [como o tempo de edição ainda não foi atendido]

    
por Ebrahim Byagowi 22.11.2012 / 19:36

1 resposta

7

Existem duas configurações para essa margem (dependendo de a janela do Opera estar maximizada ou não):

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

Se você definir esses valores como 0 , poderá eliminar completamente a margem superior. Pessoalmente, eu gosto de ter uma margem de 1 pixel no topo, para que eu possa arrastar e mover o Opera quando ele é maximizado no Win7 e ter acesso ao menu da janela, mas isso é só eu.

Para editá-los, siga estas etapas:

  1. Acesse o Editor de preferências inserindo opera:config na barra de endereço.
  2. Digite chrome no campo Localização rápida para localizá-los e editá-los.
  3. Clique no botão Salvar. Se você redimensionar a janela do Opera, verá as alterações entrem em vigor.

    
por 22.11.2012 / 20:01

Tags