6 commits

Author	SHA1	Message	Date
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
Derek Briggs	0e068a644f	organize settings	2023-07-20 12:23:47 -06:00
Mikayla Maki	d023189bda	Add settings	2023-07-19 11:10:30 -07:00
Antonio Scandurra	208ff2fba7	Merge remote-tracking branch 'origin/main' into panels	2023-05-23 08:24:28 +02:00
Mikayla Maki	da96802bf0	fmt	2023-05-22 20:25:27 -07:00
Mikayla Maki	7be8dead07	Add initial project panel settings	2023-05-22 20:23:07 -07:00