Sourcegraph TextDocument

textdoc.json

// A page can have multiple editors that each have their own document, e.g. a PR.
{
  "uri": "git://github.com/django/django?d6eaf7c0183cd04b78f2a55e1d60bb7e59598310#django/__init__.py",
  "languageId": "python",
  "text": "from django.utils.version import get_versionVERSION = (2, 0, 0, 'alpha', 0)__version__ = get_version(VERSION)def setup(set_prefix=True):    \"\"\"    Configure the settings (this happens as a side effect of accessing the    first setting), configure logging and populate the app registry.    Set the thread-local urlresolvers script prefix if `set_prefix` is True.    \"\"\"    from django.apps import apps    from django.conf import settings    from django.urls import set_script_prefix    from django.utils.encoding import force_text    from django.utils.log import configure_logging    configure_logging(settings.LOGGING_CONFIG, settings.LOGGING)    if set_prefix:        set_script_prefix(            '/' if settings.FORCE_SCRIPT_NAME is None else force_text(settings.FORCE_SCRIPT_NAME)        )    apps.populate(settings.INSTALLED_APPS)"
}