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