some webstorm settings