Consegui alterar o restante das fontes do IDE (ou seja, menus, caixas de diálogo etc.) usando os campos "substituir fontes padrão" na tela Configurações / Aparência do IDE da caixa de diálogo Configurações. Mas isso não afeta o tamanho da fonte da árvore de pastas / arquivos na barra de navegação...
A configuração para alternar entre caracteres de espaço e tabulações é Use tab character( Settings... -> Editor -> Code Style (-> {LANGUAGE}) -> [checkbox] Use tab character). Mas isso funciona para mim apenas em novos arquivos. Acabei de criar um novo projeto baseado em esqueleto do...
Desde que eu adicionei o plugin WakaTime ao meu phpStorm (versão 8), ele baixa o download com um grande atraso. Por exemplo, se eu soletrar o nome da variável errado. Ele vai me mostrar que só depois de 5 segundos .. e isso é muito .. Eu não tive isso antes do WakaTime. mas o problema é que não...
Estou tentando usar o PHPStorm IDE em vez do NetBeans IDE para codificar com PHP. O problema está aqui: O NetBeans é bom em pular para a declaração de qualquer método (Ctrl + tecla esquerda do mouse). E é bom em pular para trás (Alt + Esquerda). Eu sei isso. No entanto, o PHPStorm poderia entrar...
Recentemente, notei alguns arquivos estranhos aparecendo no meu diretório / home toda vez que ligo / reinicio meu computador. Eles apenas aparecem e os nomes não significam nada, eu posso deletá-los como arquivos normais (sem problemas de permissões), mas no dia seguinte, lá estão eles. Abaixo...
Ao usar PHPStorm, quero integrar gitno meu projeto, mas não consigo encontrar a opção em que você especifica a chave de massa privada para o projeto atual. Alguma