search

marimo-team / marimo

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
https://marimo.io
Apache License 2.0
7.95k stars 278 forks source link

Possibility not to display hidden files and directories in FILES menu #2873

Open misolietavec opened 6 days ago

misolietavec commented 6 days ago

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

mscolnick commented 6 days ago

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