Editor do Chrome Dev: Como alterar o tamanho da guia padrão para 4 espaços?

2

Estou usando o Chrome Dev Editor do Google - visualização do desenvolvedor . É uma extensão do Chrome disponível na loja do Chrome. Quando uso a tecla tab no teclado, 2 espaços são recuados. Meu objetivo é mudar isso para 4 espaços.

Eu tentei ir para o menu "Configurações", mas há poucas opções disponíveis e definir o tamanho da guia padrão não é uma delas.

Alguma ideia de como posso alterar o tamanho da tabulação padrão para 4 espaços?

    
por henrywright 05.02.2015 / 12:51

3 respostas

1

Como sobre uma solução Autohotkey ( "Quando ferramentas nativas falham: AUTOHOTKEY! ")? Pequeno, portátil, personalizável.

#IfWinActive Chrome Dev Editor (developer preview)
TAB::
Send {space 4}
sleep 20 

A primeira linha indica que o TAB funciona normalmente, a menos que a janela do Dev Editor esteja ativa. Observe que isso corresponde exatamente ao nome, portanto, se o título da janela for alterado no futuro, o script será interrompido.

A última linha é um atraso em ms entre os eventos SEND repetidos para evitar spam. Você pode alterá-lo dependendo da velocidade de digitação.

    
por 09.02.2015 / 20:31
1

Examinando as origens do Chrome Dev Editor, encontrei documentação sobre dois arquivos que parece muito promissor:

ide / web / prefs.json

{
  "stripWhitespaceOnSave": true,
  "editorFontSize": 12,
  "editorTheme": null,
  "keyBindings": null,
  "indentation":{
    "default":{
      "useTabs": false,
      "width": 2
    },
    "dart":{
      "useTabs": false,
      "width": 2
    }
  }
}

A seção "indentação" contém width , cujo padrão é 2. Veja se você pode encontrar esse arquivo em sua distribuição e altere a largura para 4.

ide / web / test / editor_config_test.dar

Contém uma seção sobre a configuração de edição por tipo de arquivo. Pode ser útil.

    
por 14.02.2015 / 10:05
0

De acordo com este link:

link

o arquivo a ser alterado é ide/web/lib/ace.dart .

altere a linha session.tabSize = 2;

PS: a pasta está localizada em ~/.config/chromium/Default/Extensions

    
por 15.02.2015 / 05:26