CredVault

Pragma Settings

Pragma has a settings area for controlling the user's IDE experience, account behavior, AI configuration, privacy, integrations, and platform features.

Users use settings to make Pragma match how they work: visual style, AI behavior, privacy, account, team, terminal, and integration preferences.

Settings Users Can Expect

Users can expect settings for:

  • AI model and agent behavior.
  • Appearance and themes.
  • Keyboard shortcuts.
  • Terminal behavior.
  • Pragma Drive.
  • Privacy controls.
  • Billing and usage.
  • Team access.
  • MCP servers.
  • Platform behavior.
  • Referrals.

Appearance

Appearance settings let users choose a visual setup that works for them. This can include theme, layout, size, opacity, blurring, and editor/terminal preferences.

AI Settings

AI settings control model selection, autonomy, external providers, and how the agent behaves inside the workspace.

Related docs:

Privacy

Privacy settings explain what data is used for AI, diagnostics, crash reporting, and telemetry. Users should be able to understand what is local and what may be sent to backend services.

See Pragma Privacy & Telemetry.

MCP Servers

MCP settings let users connect trusted tools the agent can call. See Pragma MCP Servers.

Settings Sync

Settings sync can keep preferences aligned across devices signed into the same CredVault / Pragma account.

What users should know:

  • Not every local preference syncs (machine-specific paths and OS integrations may stay local)
  • Signing into another device can pull cloud preferences
  • If something looks wrong after sync, check this device’s local overrides first

Global Hotkey

A global hotkey can bring Pragma to the front from other apps.

What users should know:

  • The OS must allow the shortcut
  • Other apps may already own the same key combo
  • If the hotkey does nothing, try a different combination and confirm OS accessibility / input permissions