Skip to content

✨ Project navigator file filtering #1139

Closed
Closed
✨ Project navigator file filtering#1139
Assignees
LeonardoLarranaga
Labels
enhancementNew feature or request

Description

@austincondiff
austincondiff
opened on Mar 11, 2023

Description

Users should have the ability to filter files within the project navigator. Enable the filter at the bottom of the project navigator sidebar to filter project files.

Activity

  1. austincondiff
    added
    enhancementNew feature or request
    on Mar 11, 2023
  2. austincondiff
    added this to CodeEdit Projecton Mar 11, 2023
  3. github-project-automation
    moved this to 🆕 New in CodeEdit Projecton Mar 11, 2023
  4. austincondiff
    changed the title [-]Project navigator file filtering[/-] [+]✨ Project navigator file filtering[/+] on Mar 11, 2023
  5. austincondiff
    assigned
    KaiTheRedNinja
    on Mar 11, 2023
  6. austincondiff
    moved this from 🆕 New to 🏃‍♂️ In Progress in CodeEdit Projecton Mar 11, 2023

  7. LeonardoLarranaga commented on Jul 11, 2024

    @LeonardoLarranaga
    LeonardoLarranaga
    on Jul 11, 2024
    Contributor

    @austincondiff, is this something is being actively worked on? I would like to give it a shot.

  8. austincondiff
    assigned
    LeonardoLarranaga
    and unassigned
    KaiTheRedNinja
    on Jul 12, 2024

  9. austincondiff commented on Jul 12, 2024

    @austincondiff
    austincondiff
    on Jul 12, 2024
    CollaboratorAuthor

    @LeonardoLarranaga Assigned to you!

  10. austincondiff
    closed this as completedon Apr 19, 2025
  11. github-project-automation
    moved this from 🏃‍♂️ In Progress to 🏁 Complete in CodeEdit Projecton Apr 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions