-
Notifications
You must be signed in to change notification settings - Fork 8
do we want or need a full repo file tree? #1501
Copy link
Copy link
Open
Labels
EnhancementNew feature or requestNew feature or request
Description
problem
assuming this gets merged: #1497
it removes the file tree for the full repo, and only exposes changed files / diffs.
i think this is the right call for the simplicity of the UX in day-to-day usage, but are there use-cases for opening/viewing files outside of what the agent is touching? particularly if we maintain the stance that we won't allow file editing so as to not become an IDE?
solution
if we want it, we just need to figure out where we want it, and add it back.
if we don't want it, we need to do more cleanup, e.g. we can probably remove codemirror entirely, delete the file tree components (i left them in case we want them), etc
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
EnhancementNew feature or requestNew feature or request