[{"data":1,"prerenderedAt":358},["ShallowReactive",2],{"doc-features\u002Fpragma-settings":3,"content-query-II8VOqTDNW":4},null,{"_path":5,"_dir":6,"_draft":7,"_partial":7,"_locale":8,"title":9,"description":10,"body":11,"_type":352,"_id":353,"_source":354,"_file":355,"_stem":356,"_extension":357},"\u002Fdocs\u002Ffeatures\u002Fpragma-settings","features",false,"","Pragma Settings","Configure Pragma appearance, AI, platform behavior, privacy, teams, billing, and MCP servers.",{"type":12,"children":13,"toc":341},"root",[14,22,39,45,50,57,62,122,128,133,139,144,149,189,195,200,213,218,229,235,240,245,263,269,274,278,296,302],{"type":15,"tag":16,"props":17,"children":19},"element","h1",{"id":18},"pragma-settings",[20],{"type":21,"value":9},"text",{"type":15,"tag":23,"props":24,"children":29},"div",{"className":25,"ariaHidden":28},[26,27],"docs-page-hero","docs-page-hero--manilla","true",[30,32],{"type":21,"value":31},"\n  ",{"type":15,"tag":33,"props":34,"children":38},"img",{"src":35,"alt":8,"width":36,"height":37},"\u002Fimages\u002Fdocs-illustrations\u002Fpragma-settings.svg",128,72,[],{"type":15,"tag":40,"props":41,"children":42},"p",{},[43],{"type":21,"value":44},"Pragma has a settings area for controlling the user's IDE experience, account behavior, AI configuration, privacy, integrations, and platform features.",{"type":15,"tag":40,"props":46,"children":47},{},[48],{"type":21,"value":49},"Users use settings to make Pragma match how they work: visual style, AI behavior, privacy, account, team, terminal, and integration preferences.",{"type":15,"tag":51,"props":52,"children":54},"h2",{"id":53},"settings-users-can-expect",[55],{"type":21,"value":56},"Settings Users Can Expect",{"type":15,"tag":40,"props":58,"children":59},{},[60],{"type":21,"value":61},"Users can expect settings for:",{"type":15,"tag":63,"props":64,"children":65},"ul",{},[66,72,77,82,87,92,97,102,107,112,117],{"type":15,"tag":67,"props":68,"children":69},"li",{},[70],{"type":21,"value":71},"AI model and agent behavior.",{"type":15,"tag":67,"props":73,"children":74},{},[75],{"type":21,"value":76},"Appearance and themes.",{"type":15,"tag":67,"props":78,"children":79},{},[80],{"type":21,"value":81},"Keyboard shortcuts.",{"type":15,"tag":67,"props":83,"children":84},{},[85],{"type":21,"value":86},"Terminal behavior.",{"type":15,"tag":67,"props":88,"children":89},{},[90],{"type":21,"value":91},"Pragma Drive.",{"type":15,"tag":67,"props":93,"children":94},{},[95],{"type":21,"value":96},"Privacy controls.",{"type":15,"tag":67,"props":98,"children":99},{},[100],{"type":21,"value":101},"Billing and usage.",{"type":15,"tag":67,"props":103,"children":104},{},[105],{"type":21,"value":106},"Team access.",{"type":15,"tag":67,"props":108,"children":109},{},[110],{"type":21,"value":111},"MCP servers.",{"type":15,"tag":67,"props":113,"children":114},{},[115],{"type":21,"value":116},"Platform behavior.",{"type":15,"tag":67,"props":118,"children":119},{},[120],{"type":21,"value":121},"Referrals.",{"type":15,"tag":51,"props":123,"children":125},{"id":124},"appearance",[126],{"type":21,"value":127},"Appearance",{"type":15,"tag":40,"props":129,"children":130},{},[131],{"type":21,"value":132},"Appearance settings let users choose a visual setup that works for them. This can include theme, layout, size, opacity, blurring, and editor\u002Fterminal preferences.",{"type":15,"tag":51,"props":134,"children":136},{"id":135},"ai-settings",[137],{"type":21,"value":138},"AI Settings",{"type":15,"tag":40,"props":140,"children":141},{},[142],{"type":21,"value":143},"AI settings control model selection, autonomy, external providers, and how the agent behaves inside the workspace.",{"type":15,"tag":40,"props":145,"children":146},{},[147],{"type":21,"value":148},"Related docs:",{"type":15,"tag":63,"props":150,"children":151},{},[152,162,171,180],{"type":15,"tag":67,"props":153,"children":154},{},[155],{"type":15,"tag":156,"props":157,"children":159},"a",{"href":158},"\u002Fdocs\u002Ffeatures\u002Fpragma-ai-agent",[160],{"type":21,"value":161},"Pragma AI Agent",{"type":15,"tag":67,"props":163,"children":164},{},[165],{"type":15,"tag":156,"props":166,"children":168},{"href":167},"\u002Fdocs\u002Ffeatures\u002Fpragma-codebase-context",[169],{"type":21,"value":170},"Codebase Context",{"type":15,"tag":67,"props":172,"children":173},{},[174],{"type":15,"tag":156,"props":175,"children":177},{"href":176},"\u002Fdocs\u002Ffeatures\u002Fpragma-rules",[178],{"type":21,"value":179},"Agent Rules",{"type":15,"tag":67,"props":181,"children":182},{},[183],{"type":15,"tag":156,"props":184,"children":186},{"href":185},"\u002Fdocs\u002Ffeatures\u002Fpragma-mcp",[187],{"type":21,"value":188},"MCP Servers",{"type":15,"tag":51,"props":190,"children":192},{"id":191},"privacy",[193],{"type":21,"value":194},"Privacy",{"type":15,"tag":40,"props":196,"children":197},{},[198],{"type":21,"value":199},"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.",{"type":15,"tag":40,"props":201,"children":202},{},[203,205,211],{"type":21,"value":204},"See ",{"type":15,"tag":156,"props":206,"children":208},{"href":207},"\u002Fdocs\u002Ffeatures\u002Fpragma-privacy",[209],{"type":21,"value":210},"Pragma Privacy & Telemetry",{"type":21,"value":212},".",{"type":15,"tag":51,"props":214,"children":216},{"id":215},"mcp-servers",[217],{"type":21,"value":188},{"type":15,"tag":40,"props":219,"children":220},{},[221,223,228],{"type":21,"value":222},"MCP settings let users connect trusted tools the agent can call. See ",{"type":15,"tag":156,"props":224,"children":225},{"href":185},[226],{"type":21,"value":227},"Pragma MCP Servers",{"type":21,"value":212},{"type":15,"tag":51,"props":230,"children":232},{"id":231},"settings-sync",[233],{"type":21,"value":234},"Settings Sync",{"type":15,"tag":40,"props":236,"children":237},{},[238],{"type":21,"value":239},"Settings sync can keep preferences aligned across devices signed into the same CredVault \u002F Pragma account.",{"type":15,"tag":40,"props":241,"children":242},{},[243],{"type":21,"value":244},"What users should know:",{"type":15,"tag":63,"props":246,"children":247},{},[248,253,258],{"type":15,"tag":67,"props":249,"children":250},{},[251],{"type":21,"value":252},"Not every local preference syncs (machine-specific paths and OS integrations may stay local)",{"type":15,"tag":67,"props":254,"children":255},{},[256],{"type":21,"value":257},"Signing into another device can pull cloud preferences",{"type":15,"tag":67,"props":259,"children":260},{},[261],{"type":21,"value":262},"If something looks wrong after sync, check this device’s local overrides first",{"type":15,"tag":51,"props":264,"children":266},{"id":265},"global-hotkey",[267],{"type":21,"value":268},"Global Hotkey",{"type":15,"tag":40,"props":270,"children":271},{},[272],{"type":21,"value":273},"A global hotkey can bring Pragma to the front from other apps.",{"type":15,"tag":40,"props":275,"children":276},{},[277],{"type":21,"value":244},{"type":15,"tag":63,"props":279,"children":280},{},[281,286,291],{"type":15,"tag":67,"props":282,"children":283},{},[284],{"type":21,"value":285},"The OS must allow the shortcut",{"type":15,"tag":67,"props":287,"children":288},{},[289],{"type":21,"value":290},"Other apps may already own the same key combo",{"type":15,"tag":67,"props":292,"children":293},{},[294],{"type":21,"value":295},"If the hotkey does nothing, try a different combination and confirm OS accessibility \u002F input permissions",{"type":15,"tag":51,"props":297,"children":299},{"id":298},"related-pages",[300],{"type":21,"value":301},"Related Pages",{"type":15,"tag":63,"props":303,"children":304},{},[305,314,323,332],{"type":15,"tag":67,"props":306,"children":307},{},[308],{"type":15,"tag":156,"props":309,"children":311},{"href":310},"\u002Fdocs\u002Ffeatures\u002Fpragma-referrals",[312],{"type":21,"value":313},"Pragma Referrals",{"type":15,"tag":67,"props":315,"children":316},{},[317],{"type":15,"tag":156,"props":318,"children":320},{"href":319},"\u002Fdocs\u002Ffeatures\u002Fpragma-notifications",[321],{"type":21,"value":322},"Pragma Notifications",{"type":15,"tag":67,"props":324,"children":325},{},[326],{"type":15,"tag":156,"props":327,"children":329},{"href":328},"\u002Fdocs\u002Ffeatures\u002Fpragma-session-restoration",[330],{"type":21,"value":331},"Pragma Session Restoration",{"type":15,"tag":67,"props":333,"children":334},{},[335],{"type":15,"tag":156,"props":336,"children":338},{"href":337},"\u002Fdocs\u002Ffeatures\u002Fpragma-terminal",[339],{"type":21,"value":340},"Pragma Terminal",{"title":8,"searchDepth":342,"depth":342,"links":343},2,[344,345,346,347,348,349,350,351],{"id":53,"depth":342,"text":56},{"id":124,"depth":342,"text":127},{"id":135,"depth":342,"text":138},{"id":191,"depth":342,"text":194},{"id":215,"depth":342,"text":188},{"id":231,"depth":342,"text":234},{"id":265,"depth":342,"text":268},{"id":298,"depth":342,"text":301},"markdown","content:docs:features:pragma-settings.md","content","docs\u002Ffeatures\u002Fpragma-settings.md","docs\u002Ffeatures\u002Fpragma-settings","md",1794695987821]