Skip to content

do we want or need a full repo file tree? #1501

@adboio

Description

@adboio

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

Metadata

Metadata

Assignees

Labels

EnhancementNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions