marimo-team/marimo

Possibility not to display hidden files and directories in FILES menu

Opened this issue · 1 comments

Description

By default, I can see all hidden files and directories (beginning with dot) in my home directory or subdirectories. I think, it will be useful to have some keyboard shortcut as switch for hide and unhide those items.

Suggested solution

Implement the keyboard shortcut for hide and unhide those dot files.

Alternative

No response

Additional context

No response

I think we can add a frontend toggle in the UI to hide/show and save this state to localStorage using jotai's atomWithStorage