[{"data":1,"prerenderedAt":1028},["ShallowReactive",2],{"doc-features\u002Fpragma-ide":3,"content-query-BV3haSgAqu":4},null,{"_path":5,"_dir":6,"_draft":7,"_partial":7,"_locale":8,"title":9,"description":10,"body":11,"_type":1022,"_id":1023,"_source":1024,"_file":1025,"_stem":1026,"_extension":1027},"\u002Fdocs\u002Ffeatures\u002Fpragma-ide","features",false,"","Pragma IDE","Pragma is an agentic development environment born out of the terminal. A full IDE with AI agents, LSP, editor, terminal, Drive, code review, and more — all in one native app.",{"type":12,"children":13,"toc":999},"root",[14,22,39,46,61,65,71,76,138,141,147,152,166,169,175,180,428,434,439,464,477,510,515,520,525,553,558,563,568,573,626,632,637,679,684,689,694,712,717,722,727,745,751,756,762,767,773,778,784,789,795,800,803,809,814,858,861,867,872,996],{"type":15,"tag":16,"props":17,"children":19},"element","h1",{"id":18},"pragma-ide",[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--clay","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-ade.svg",128,72,[],{"type":15,"tag":40,"props":41,"children":43},"h2",{"id":42},"download-formats",[44],{"type":21,"value":45},"Download Formats",{"type":15,"tag":47,"props":48,"children":49},"p",{},[50,52,59],{"type":21,"value":51},"Current public installer formats are a macOS DMG, a Windows x64 installer, and an x86_64 Linux AppImage. Debian and RPM packages and ARM Linux builds are not currently available. See ",{"type":15,"tag":53,"props":54,"children":56},"a",{"href":55},"\u002Fdocs\u002Ffeatures\u002Fpragma-download-install",[57],{"type":21,"value":58},"Pragma Download & Install",{"type":21,"value":60}," for the installation steps.",{"type":15,"tag":62,"props":63,"children":64},"hr",{},[],{"type":15,"tag":40,"props":66,"children":68},{"id":67},"download",[69],{"type":21,"value":70},"Download",{"type":15,"tag":47,"props":72,"children":73},{},[74],{"type":21,"value":75},"Pragma runs natively on all major operating systems. Pick yours and get started.",{"type":15,"tag":23,"props":77,"children":80},{"className":78},[79],"os-download-grid",[81,82,102,103,120,121],{"type":21,"value":31},{"type":15,"tag":53,"props":83,"children":87},{"href":84,"className":85},"https:\u002F\u002Fcredvault.net\u002Fdownload?os=macos",[86],"os-card",[88,90,95,96,101],{"type":21,"value":89},"\n    ",{"type":15,"tag":33,"props":91,"children":94},{"src":92,"alt":93},"\u002Fimages\u002Fmacos.svg","macOS",[],{"type":21,"value":89},{"type":15,"tag":97,"props":98,"children":99},"span",{},[100],{"type":21,"value":93},{"type":21,"value":31},{"type":21,"value":31},{"type":15,"tag":53,"props":104,"children":107},{"href":105,"className":106},"https:\u002F\u002Fcredvault.net\u002Fdownload?os=windows",[86],[108,109,114,115,119],{"type":21,"value":89},{"type":15,"tag":33,"props":110,"children":113},{"src":111,"alt":112},"\u002Fimages\u002Fwindows.svg","Windows",[],{"type":21,"value":89},{"type":15,"tag":97,"props":116,"children":117},{},[118],{"type":21,"value":112},{"type":21,"value":31},{"type":21,"value":31},{"type":15,"tag":53,"props":122,"children":125},{"href":123,"className":124},"https:\u002F\u002Fcredvault.net\u002Fdownload?os=linux",[86],[126,127,132,133,137],{"type":21,"value":89},{"type":15,"tag":33,"props":128,"children":131},{"src":129,"alt":130},"\u002Fimages\u002Flinux.svg","Linux",[],{"type":21,"value":89},{"type":15,"tag":97,"props":134,"children":135},{},[136],{"type":21,"value":130},{"type":21,"value":31},{"type":15,"tag":62,"props":139,"children":140},{},[],{"type":15,"tag":40,"props":142,"children":144},{"id":143},"signing-in",[145],{"type":21,"value":146},"Signing In",{"type":15,"tag":47,"props":148,"children":149},{},[150],{"type":21,"value":151},"When you open Pragma for the first time, sign in with your CredVault account — email\u002Fpassword, Google, or GitHub.",{"type":15,"tag":47,"props":153,"children":154},{},[155,157,164],{"type":21,"value":156},"Once signed in, your clusters, API keys, and workspace settings are available directly inside the IDE. Pragma connects to the same backend as the dashboard and the ",{"type":15,"tag":158,"props":159,"children":161},"code",{"className":160},[],[162],{"type":21,"value":163},"cie",{"type":21,"value":165}," CLI.",{"type":15,"tag":62,"props":167,"children":168},{},[],{"type":15,"tag":40,"props":170,"children":172},{"id":171},"whats-inside-pragma",[173],{"type":21,"value":174},"What's Inside Pragma",{"type":15,"tag":47,"props":176,"children":177},{},[178],{"type":21,"value":179},"Pragma has more than one feature area. Use the dedicated pages below when you want the user guide for a specific part of the app.",{"type":15,"tag":181,"props":182,"children":183},"table",{},[184,203],{"type":15,"tag":185,"props":186,"children":187},"thead",{},[188],{"type":15,"tag":189,"props":190,"children":191},"tr",{},[192,198],{"type":15,"tag":193,"props":194,"children":195},"th",{},[196],{"type":21,"value":197},"Area",{"type":15,"tag":193,"props":199,"children":200},{},[201],{"type":21,"value":202},"Page",{"type":15,"tag":204,"props":205,"children":206},"tbody",{},[207,224,241,258,275,292,309,326,343,360,377,394,411],{"type":15,"tag":189,"props":208,"children":209},{},[210,216],{"type":15,"tag":211,"props":212,"children":213},"td",{},[214],{"type":21,"value":215},"Installers and operating systems",{"type":15,"tag":211,"props":217,"children":218},{},[219],{"type":15,"tag":53,"props":220,"children":221},{"href":55},[222],{"type":21,"value":223},"Download & Install",{"type":15,"tag":189,"props":225,"children":226},{},[227,232],{"type":15,"tag":211,"props":228,"children":229},{},[230],{"type":21,"value":231},"CredVault login and account access",{"type":15,"tag":211,"props":233,"children":234},{},[235],{"type":15,"tag":53,"props":236,"children":238},{"href":237},"\u002Fdocs\u002Ffeatures\u002Fpragma-auth",[239],{"type":21,"value":240},"Sign In & Account",{"type":15,"tag":189,"props":242,"children":243},{},[244,249],{"type":15,"tag":211,"props":245,"children":246},{},[247],{"type":21,"value":248},"Built-in coding assistant",{"type":15,"tag":211,"props":250,"children":251},{},[252],{"type":15,"tag":53,"props":253,"children":255},{"href":254},"\u002Fdocs\u002Ffeatures\u002Fpragma-ai-agent",[256],{"type":21,"value":257},"AI Agent",{"type":15,"tag":189,"props":259,"children":260},{},[261,266],{"type":15,"tag":211,"props":262,"children":263},{},[264],{"type":21,"value":265},"Shells, panes, history, and remote sessions",{"type":15,"tag":211,"props":267,"children":268},{},[269],{"type":15,"tag":53,"props":270,"children":272},{"href":271},"\u002Fdocs\u002Ffeatures\u002Fpragma-terminal",[273],{"type":21,"value":274},"Terminal",{"type":15,"tag":189,"props":276,"children":277},{},[278,283],{"type":15,"tag":211,"props":279,"children":280},{},[281],{"type":21,"value":282},"Smart command bar and suggestions",{"type":15,"tag":211,"props":284,"children":285},{},[286],{"type":15,"tag":53,"props":287,"children":289},{"href":288},"\u002Fdocs\u002Ffeatures\u002Fpragma-input",[290],{"type":21,"value":291},"Pragma Input",{"type":15,"tag":189,"props":293,"children":294},{},[295,300],{"type":15,"tag":211,"props":296,"children":297},{},[298],{"type":21,"value":299},"File tree, editing, search, and diffs",{"type":15,"tag":211,"props":301,"children":302},{},[303],{"type":15,"tag":53,"props":304,"children":306},{"href":305},"\u002Fdocs\u002Ffeatures\u002Fpragma-editor",[307],{"type":21,"value":308},"Editor",{"type":15,"tag":189,"props":310,"children":311},{},[312,317],{"type":15,"tag":211,"props":313,"children":314},{},[315],{"type":21,"value":316},"Files, imports, folders, and sharing",{"type":15,"tag":211,"props":318,"children":319},{},[320],{"type":15,"tag":53,"props":321,"children":323},{"href":322},"\u002Fdocs\u002Ffeatures\u002Fpragma-drive",[324],{"type":21,"value":325},"Pragma Drive",{"type":15,"tag":189,"props":327,"children":328},{},[329,334],{"type":15,"tag":211,"props":330,"children":331},{},[332],{"type":21,"value":333},"Diff review and comments",{"type":15,"tag":211,"props":335,"children":336},{},[337],{"type":15,"tag":53,"props":338,"children":340},{"href":339},"\u002Fdocs\u002Ffeatures\u002Fpragma-code-review",[341],{"type":21,"value":342},"Code Review",{"type":15,"tag":189,"props":344,"children":345},{},[346,351],{"type":15,"tag":211,"props":347,"children":348},{},[349],{"type":21,"value":350},"Servers, SSH, WSL, and remote sessions",{"type":15,"tag":211,"props":352,"children":353},{},[354],{"type":15,"tag":53,"props":355,"children":357},{"href":356},"\u002Fdocs\u002Ffeatures\u002Fpragma-remote-ssh",[358],{"type":21,"value":359},"Remote & SSH",{"type":15,"tag":189,"props":361,"children":362},{},[363,368],{"type":15,"tag":211,"props":364,"children":365},{},[366],{"type":21,"value":367},"API keys and environment variables",{"type":15,"tag":211,"props":369,"children":370},{},[371],{"type":15,"tag":53,"props":372,"children":374},{"href":373},"\u002Fdocs\u002Ffeatures\u002Fpragma-secrets",[375],{"type":21,"value":376},"Secrets",{"type":15,"tag":189,"props":378,"children":379},{},[380,385],{"type":15,"tag":211,"props":381,"children":382},{},[383],{"type":21,"value":384},"Repeatable development tasks",{"type":15,"tag":211,"props":386,"children":387},{},[388],{"type":15,"tag":53,"props":389,"children":391},{"href":390},"\u002Fdocs\u002Ffeatures\u002Fpragma-workflows",[392],{"type":21,"value":393},"Workflows",{"type":15,"tag":189,"props":395,"children":396},{},[397,402],{"type":15,"tag":211,"props":398,"children":399},{},[400],{"type":21,"value":401},"Appearance, privacy, teams, MCP, and AI controls",{"type":15,"tag":211,"props":403,"children":404},{},[405],{"type":15,"tag":53,"props":406,"children":408},{"href":407},"\u002Fdocs\u002Ffeatures\u002Fpragma-settings",[409],{"type":21,"value":410},"Settings",{"type":15,"tag":189,"props":412,"children":413},{},[414,419],{"type":15,"tag":211,"props":415,"children":416},{},[417],{"type":21,"value":418},"Release channels and app updates",{"type":15,"tag":211,"props":420,"children":421},{},[422],{"type":15,"tag":53,"props":423,"children":425},{"href":424},"\u002Fdocs\u002Ffeatures\u002Fpragma-updates",[426],{"type":21,"value":427},"Updates",{"type":15,"tag":429,"props":430,"children":432},"h3",{"id":431},"ai-agent",[433],{"type":21,"value":257},{"type":15,"tag":47,"props":435,"children":436},{},[437],{"type":21,"value":438},"Pragma ships with a built-in AI coding agent. You can also bring your own:",{"type":15,"tag":440,"props":441,"children":442},"ul",{},[443,449,454,459],{"type":15,"tag":444,"props":445,"children":446},"li",{},[447],{"type":21,"value":448},"Claude Code",{"type":15,"tag":444,"props":450,"children":451},{},[452],{"type":21,"value":453},"OpenAI Codex",{"type":15,"tag":444,"props":455,"children":456},{},[457],{"type":21,"value":458},"Gemini CLI",{"type":15,"tag":444,"props":460,"children":461},{},[462],{"type":21,"value":463},"Any other CLI-based agent",{"type":15,"tag":47,"props":465,"children":466},{},[467,469,475],{"type":21,"value":468},"The agent understands your codebase, writes code, runs commands, and iterates — all without you leaving the IDE. You control the ",{"type":15,"tag":470,"props":471,"children":472},"strong",{},[473],{"type":21,"value":474},"autonomy level",{"type":21,"value":476},":",{"type":15,"tag":440,"props":478,"children":479},{},[480,490,500],{"type":15,"tag":444,"props":481,"children":482},{},[483,488],{"type":15,"tag":470,"props":484,"children":485},{},[486],{"type":21,"value":487},"Full",{"type":21,"value":489}," — the agent acts on its own, executes commands, applies changes",{"type":15,"tag":444,"props":491,"children":492},{},[493,498],{"type":15,"tag":470,"props":494,"children":495},{},[496],{"type":21,"value":497},"Partial",{"type":21,"value":499}," — the agent suggests, you approve before anything runs",{"type":15,"tag":444,"props":501,"children":502},{},[503,508],{"type":15,"tag":470,"props":504,"children":505},{},[506],{"type":21,"value":507},"None",{"type":21,"value":509}," — the agent only responds, no automatic actions",{"type":15,"tag":47,"props":511,"children":512},{},[513],{"type":21,"value":514},"You choose your default model during onboarding and can change it anytime. Free-tier models are available immediately; premium models require an upgraded plan.",{"type":15,"tag":429,"props":516,"children":518},{"id":517},"terminal",[519],{"type":21,"value":274},{"type":15,"tag":47,"props":521,"children":522},{},[523],{"type":21,"value":524},"The terminal in Pragma is not an afterthought. It's built on a high-performance rendering engine (based on Alacritty and a custom VTE parser) with:",{"type":15,"tag":440,"props":526,"children":527},{},[528,533,538,543,548],{"type":15,"tag":444,"props":529,"children":530},{},[531],{"type":21,"value":532},"Full shell support — bash, zsh, fish, NuShell",{"type":15,"tag":444,"props":534,"children":535},{},[536],{"type":21,"value":537},"Split panes and tabs",{"type":15,"tag":444,"props":539,"children":540},{},[541],{"type":21,"value":542},"Command history with search",{"type":15,"tag":444,"props":544,"children":545},{},[546],{"type":21,"value":547},"Intelligent autocomplete via Pragma Input",{"type":15,"tag":444,"props":549,"children":550},{},[551],{"type":21,"value":552},"Natural language detection — type what you want to do, Pragma suggests the command",{"type":15,"tag":429,"props":554,"children":556},{"id":555},"pragma-input",[557],{"type":21,"value":291},{"type":15,"tag":47,"props":559,"children":560},{},[561],{"type":21,"value":562},"Pragma Input is the intelligent command bar. It understands context — your current directory, recent commands, project structure, and shell history — to give you smarter autocomplete and suggestions as you type. It also supports command corrections when something goes wrong.",{"type":15,"tag":429,"props":564,"children":566},{"id":565},"editor",[567],{"type":21,"value":308},{"type":15,"tag":47,"props":569,"children":570},{},[571],{"type":21,"value":572},"Pragma includes a full code editor with:",{"type":15,"tag":440,"props":574,"children":575},{},[576,586,596,606,616],{"type":15,"tag":444,"props":577,"children":578},{},[579,584],{"type":15,"tag":470,"props":580,"children":581},{},[582],{"type":21,"value":583},"LSP (Language Server Protocol)",{"type":21,"value":585}," — full language intelligence for Rust, Go, Python, JavaScript, TypeScript, Java, C++, C#, HTML, CSS, SQL, and more",{"type":15,"tag":444,"props":587,"children":588},{},[589,594],{"type":15,"tag":470,"props":590,"children":591},{},[592],{"type":21,"value":593},"Syntax highlighting",{"type":21,"value":595}," — powered by tree-sitter with support for 30+ languages",{"type":15,"tag":444,"props":597,"children":598},{},[599,604],{"type":15,"tag":470,"props":600,"children":601},{},[602],{"type":21,"value":603},"Vim mode",{"type":21,"value":605}," — full Vim keybindings for those who prefer them",{"type":15,"tag":444,"props":607,"children":608},{},[609,614],{"type":15,"tag":470,"props":610,"children":611},{},[612],{"type":21,"value":613},"Code review",{"type":21,"value":615}," — inline review tools built into the editor, not a separate panel",{"type":15,"tag":444,"props":617,"children":618},{},[619,624],{"type":15,"tag":470,"props":620,"children":621},{},[622],{"type":21,"value":623},"Diff view",{"type":21,"value":625}," — side-by-side and inline diffs for reviewing changes",{"type":15,"tag":429,"props":627,"children":629},{"id":628},"tools-panel",[630],{"type":21,"value":631},"Tools Panel",{"type":15,"tag":47,"props":633,"children":634},{},[635],{"type":21,"value":636},"The tools panel sits alongside your editor and terminal. You can enable or disable it and configure which tools are shown:",{"type":15,"tag":440,"props":638,"children":639},{},[640,650,660,670],{"type":15,"tag":444,"props":641,"children":642},{},[643,648],{"type":15,"tag":470,"props":644,"children":645},{},[646],{"type":21,"value":647},"Conversation history",{"type":21,"value":649}," — your full AI agent conversation thread",{"type":15,"tag":444,"props":651,"children":652},{},[653,658],{"type":15,"tag":470,"props":654,"children":655},{},[656],{"type":21,"value":657},"File explorer",{"type":21,"value":659}," — project tree with file navigation",{"type":15,"tag":444,"props":661,"children":662},{},[663,668],{"type":15,"tag":470,"props":664,"children":665},{},[666],{"type":21,"value":667},"Global file search",{"type":21,"value":669}," — search across your entire project",{"type":15,"tag":444,"props":671,"children":672},{},[673,677],{"type":15,"tag":470,"props":674,"children":675},{},[676],{"type":21,"value":325},{"type":21,"value":678}," — file sync and sharing (see below)",{"type":15,"tag":47,"props":680,"children":681},{},[682],{"type":21,"value":683},"Tab layout is configurable — vertical tabs (sidebar style) or horizontal tabs (classic style).",{"type":15,"tag":429,"props":685,"children":687},{"id":686},"pragma-drive",[688],{"type":21,"value":325},{"type":15,"tag":47,"props":690,"children":691},{},[692],{"type":21,"value":693},"Pragma Drive is built-in file sync. It lets you:",{"type":15,"tag":440,"props":695,"children":696},{},[697,702,707],{"type":15,"tag":444,"props":698,"children":699},{},[700],{"type":21,"value":701},"Sync your workspace across machines",{"type":15,"tag":444,"props":703,"children":704},{},[705],{"type":21,"value":706},"Share files and projects with teammates",{"type":15,"tag":444,"props":708,"children":709},{},[710],{"type":21,"value":711},"Access your files from any device where Pragma is installed",{"type":15,"tag":47,"props":713,"children":714},{},[715],{"type":21,"value":716},"Drive is integrated directly into the tools panel — no external app or browser needed.",{"type":15,"tag":429,"props":718,"children":720},{"id":719},"code-review",[721],{"type":21,"value":342},{"type":15,"tag":47,"props":723,"children":724},{},[725],{"type":21,"value":726},"Pragma has a built-in code review tool. You can enable or disable it from the tools panel. When enabled, it adds a review button to the editor toolbar that lets you:",{"type":15,"tag":440,"props":728,"children":729},{},[730,735,740],{"type":15,"tag":444,"props":731,"children":732},{},[733],{"type":21,"value":734},"Review diffs inline",{"type":15,"tag":444,"props":736,"children":737},{},[738],{"type":21,"value":739},"Leave comments on specific lines",{"type":15,"tag":444,"props":741,"children":742},{},[743],{"type":21,"value":744},"Approve or request changes",{"type":15,"tag":429,"props":746,"children":748},{"id":747},"voice-input",[749],{"type":21,"value":750},"Voice Input",{"type":15,"tag":47,"props":752,"children":753},{},[754],{"type":21,"value":755},"Pragma supports voice input for commands and AI prompts. Speak your query and Pragma transcribes it directly into the input bar.",{"type":15,"tag":429,"props":757,"children":759},{"id":758},"computer-use",[760],{"type":21,"value":761},"Computer Use",{"type":15,"tag":47,"props":763,"children":764},{},[765],{"type":21,"value":766},"Pragma includes a computer use capability — the AI agent can interact with your desktop environment to complete tasks that go beyond the terminal and editor.",{"type":15,"tag":429,"props":768,"children":770},{"id":769},"remote-server",[771],{"type":21,"value":772},"Remote Server",{"type":15,"tag":47,"props":774,"children":775},{},[776],{"type":21,"value":777},"Pragma can connect to remote servers. You can open a remote session, edit files, and run commands on a remote machine as if it were local — with full LSP and terminal support.",{"type":15,"tag":429,"props":779,"children":781},{"id":780},"managed-secrets",[782],{"type":21,"value":783},"Managed Secrets",{"type":15,"tag":47,"props":785,"children":786},{},[787],{"type":21,"value":788},"Pragma has a built-in secrets manager. Store API keys, tokens, and credentials securely. The secrets are encrypted and available to your terminal sessions and agent without being exposed in plain text.",{"type":15,"tag":429,"props":790,"children":792},{"id":791},"notifications-mailbox",[793],{"type":21,"value":794},"Notifications & Mailbox",{"type":15,"tag":47,"props":796,"children":797},{},[798],{"type":21,"value":799},"Pragma has an agent notification system — a mailbox button and toast notifications that surface important events from your agent sessions, deployments, and CredVault platform.",{"type":15,"tag":62,"props":801,"children":802},{},[],{"type":15,"tag":40,"props":804,"children":806},{"id":805},"onboarding",[807],{"type":21,"value":808},"Onboarding",{"type":15,"tag":47,"props":810,"children":811},{},[812],{"type":21,"value":813},"When you first open Pragma, a guided onboarding flow walks you through:",{"type":15,"tag":815,"props":816,"children":817},"ol",{},[818,828,838,848],{"type":15,"tag":444,"props":819,"children":820},{},[821,826],{"type":15,"tag":470,"props":822,"children":823},{},[824],{"type":21,"value":825},"Intention",{"type":21,"value":827}," — choose between Agent-driven development or Terminal-focused workflow",{"type":15,"tag":444,"props":829,"children":830},{},[831,836],{"type":15,"tag":470,"props":832,"children":833},{},[834],{"type":21,"value":835},"Agent setup",{"type":21,"value":837}," — pick your default AI model and autonomy level",{"type":15,"tag":444,"props":839,"children":840},{},[841,846],{"type":15,"tag":470,"props":842,"children":843},{},[844],{"type":21,"value":845},"UI customization",{"type":21,"value":847}," — configure tab layout, tools panel, code review, and Pragma Drive",{"type":15,"tag":444,"props":849,"children":850},{},[851,856],{"type":15,"tag":470,"props":852,"children":853},{},[854],{"type":21,"value":855},"Account connection",{"type":21,"value":857}," — sign in or create a CredVault account",{"type":15,"tag":62,"props":859,"children":860},{},[],{"type":15,"tag":40,"props":862,"children":864},{"id":863},"keyboard-shortcuts",[865],{"type":21,"value":866},"Keyboard Shortcuts",{"type":15,"tag":47,"props":868,"children":869},{},[870],{"type":21,"value":871},"Pragma is keyboard-first. Key bindings are configurable. Common defaults:",{"type":15,"tag":181,"props":873,"children":874},{},[875,891],{"type":15,"tag":185,"props":876,"children":877},{},[878],{"type":15,"tag":189,"props":879,"children":880},{},[881,886],{"type":15,"tag":193,"props":882,"children":883},{},[884],{"type":21,"value":885},"Action",{"type":15,"tag":193,"props":887,"children":888},{},[889],{"type":21,"value":890},"Shortcut",{"type":15,"tag":204,"props":892,"children":893},{},[894,911,928,945,962,979],{"type":15,"tag":189,"props":895,"children":896},{},[897,902],{"type":15,"tag":211,"props":898,"children":899},{},[900],{"type":21,"value":901},"Open command palette",{"type":15,"tag":211,"props":903,"children":904},{},[905],{"type":15,"tag":158,"props":906,"children":908},{"className":907},[],[909],{"type":21,"value":910},"Cmd\u002FCtrl + P",{"type":15,"tag":189,"props":912,"children":913},{},[914,919],{"type":15,"tag":211,"props":915,"children":916},{},[917],{"type":21,"value":918},"New terminal tab",{"type":15,"tag":211,"props":920,"children":921},{},[922],{"type":15,"tag":158,"props":923,"children":925},{"className":924},[],[926],{"type":21,"value":927},"Cmd\u002FCtrl + T",{"type":15,"tag":189,"props":929,"children":930},{},[931,936],{"type":15,"tag":211,"props":932,"children":933},{},[934],{"type":21,"value":935},"Split pane",{"type":15,"tag":211,"props":937,"children":938},{},[939],{"type":15,"tag":158,"props":940,"children":942},{"className":941},[],[943],{"type":21,"value":944},"Cmd\u002FCtrl + D",{"type":15,"tag":189,"props":946,"children":947},{},[948,953],{"type":15,"tag":211,"props":949,"children":950},{},[951],{"type":21,"value":952},"Toggle tools panel",{"type":15,"tag":211,"props":954,"children":955},{},[956],{"type":15,"tag":158,"props":957,"children":959},{"className":958},[],[960],{"type":21,"value":961},"Cmd\u002FCtrl + B",{"type":15,"tag":189,"props":963,"children":964},{},[965,970],{"type":15,"tag":211,"props":966,"children":967},{},[968],{"type":21,"value":969},"Open AI agent",{"type":15,"tag":211,"props":971,"children":972},{},[973],{"type":15,"tag":158,"props":974,"children":976},{"className":975},[],[977],{"type":21,"value":978},"Cmd\u002FCtrl + I",{"type":15,"tag":189,"props":980,"children":981},{},[982,987],{"type":15,"tag":211,"props":983,"children":984},{},[985],{"type":21,"value":986},"Global search",{"type":15,"tag":211,"props":988,"children":989},{},[990],{"type":15,"tag":158,"props":991,"children":993},{"className":992},[],[994],{"type":21,"value":995},"Cmd\u002FCtrl + Shift + F",{"type":15,"tag":62,"props":997,"children":998},{},[],{"title":8,"searchDepth":1000,"depth":1000,"links":1001},2,[1002,1003,1004,1005,1020,1021],{"id":42,"depth":1000,"text":45},{"id":67,"depth":1000,"text":70},{"id":143,"depth":1000,"text":146},{"id":171,"depth":1000,"text":174,"children":1006},[1007,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019],{"id":431,"depth":1008,"text":257},3,{"id":517,"depth":1008,"text":274},{"id":555,"depth":1008,"text":291},{"id":565,"depth":1008,"text":308},{"id":628,"depth":1008,"text":631},{"id":686,"depth":1008,"text":325},{"id":719,"depth":1008,"text":342},{"id":747,"depth":1008,"text":750},{"id":758,"depth":1008,"text":761},{"id":769,"depth":1008,"text":772},{"id":780,"depth":1008,"text":783},{"id":791,"depth":1008,"text":794},{"id":805,"depth":1000,"text":808},{"id":863,"depth":1000,"text":866},"markdown","content:docs:features:pragma-ide.md","content","docs\u002Ffeatures\u002Fpragma-ide.md","docs\u002Ffeatures\u002Fpragma-ide","md",1794695980445]