permission_provider


Description:

public Provider permission_provider { get; set; }

Permission provider for tool execution.

Handles permission requests when tools need to access files or execute commands. Set by Window when creating the manager. Shared across all sessions.

Since:

1.2.7.9