added get_view helper and fixed bug in get_settings when view was None
added view id to linting related commands on jsonserver so we lint the right view even if is not in foreground or active