Editor, Suche & Git
Dateien bearbeiten, das Projekt durchsuchen, Änderungen prüfen und committen.
Editor
Der eingebaute Editor (CodeMirror) mit Dateibaum und Reitern. Strg+S speichert. Ändert ein Agent die Datei, während sie offen ist, warnt der Editor statt zu überschreiben.
Auch im Seitenpanel (Reiter Editor) bearbeitest du Dateien direkt: ungespeicherte Änderungen zeigt ein Punkt, Strg+S oder Speichern schreibt, ↻ lädt neu. Bilder werden angezeigt, sehr große Dateien öffnest du extern.
Projektsuche
Strg+Umschalt+F durchsucht alle Dateien — mit Groß/Klein, ganzen Wörtern und regulären Ausdrücken. Ein Klick auf einen Treffer öffnet die Stelle im Editor.
Änderungen & Review
Die Ansicht Änderungen zeigt alle geänderten Dateien mit Diff.
- Zeilen kommentieren und die Kommentare gesammelt an einen Agenten schicken (Review-Schleife).
- Dateien auswählen und committen oder verwerfen.
Git
Branch wechseln oder neu anlegen, Pull (nur Fast-Forward), Push mit Rückfrage, Vorsprung
und Rückstand zum Remote, die letzten Commits. Nichts passiert ohne deinen Klick. Ist die GitHub-CLI
(gh) installiert, kannst du Pull Requests anlegen.