É provavelmente apenas um cenário simples que não consigo encontrar. Aqui está a coisa: Eu tenho um projeto web com algum CSS Compass / Sass. Quando modifico o arquivo Sass, o Compass cria automaticamente o arquivo CSS correspondente para mim. Se o arquivo foi alterado, o Webstorm faz o upload para o meu servidor, sozinho. Arrumado!

No entanto, Webstorm (ou PHPStorm, para esse assunto) não percebe imediatamente a alteração no arquivo CSS, mas verifica as modificações externas a cada 2 minutos ou mais. O arquivo CSS é então recarregado e carregado no servidor.

Como faço para definir o intervalo de tempo para verificar alterações externas? 2 minutos (ou mais, eu não tenho tempo) é demais, eu prefiro configurá-lo para 10 segundos. O que funcionaria para mim também é se eu tiver a opção de dizer ao Webstorm para recarregar o arquivo CSS, porque sei que ele mudou. Mais ou menos como F5 no eclipse. (F5 em Webstorm copia algo e não consigo encontrar um comando ou botão de atualização em nenhum lugar.)

Obrigado por ajudar!

SOLUÇÃO: Veja o comentário de CrazyCoder. Usando oVersão 6.0 EAP dos WS resolve o problema.