project_manager


Description:

public ProjectManager project_manager { get; }

Buffers, tree cache, and project files — same object as runner.sr_factory.project_manager on the runner passed to the constructor.