zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
709682e8bc
zed/assets/settings
History
Kirill Bulatov 27d6432c84 Rework the way project panel auto reveals entries 
* gitignored entries are never auto revealed
* `project_panel::auto_reveal_entries = true` settings entry was added,
setting it to `false` will disable the auto reveal
* `pane::RevealInProjectPanel` action was added that activates the project panel and reveals the entry it got triggered on (including the gitignored ones)
2023-12-12 11:38:51 +02:00
..
default.json Rework the way project panel auto reveals entries 2023-12-12 11:38:51 +02:00
initial_local_settings.json Fix comments in settings files 2023-06-13 04:03:51 -04:00
initial_user_settings.json Update default ui font settings 2023-11-21 10:43:18 -05:00