more of these annoying settings from webstorm