mirror of
https://github.com/livebook-dev/livebook.git
synced 2025-11-08 05:04:46 +08:00
- Makes the file selector results to have a "box"/"container" of its own - Seperates the filtred files from rest of the files with a border - Optimize path selector to only traverse the filesystem if the directory changes |
||
|---|---|---|
| .. | ||
| livebook | ||
| livebook_cli | ||
| livebook_web | ||
| livebook_cli.ex | ||
| livebook_web.ex | ||