(js3-indent-dots t)