11 commits

Author	SHA1	Message	Date
Nate Butler	09634dffb8	Merge pull request #846 from zed-industries/update-themes-04-19 ... Update theme for command palette, inputs, tabs, autocomplete	2022-04-20 12:05:00 -04:00
Nate Butler	ea11f2e183	Increase min-width for all Pickers, minor style changes ... - Increases the Picker min-width from 500 to 540 - Makes some changes to the styling of keyboard shortcuts in the command palette	2022-04-20 11:54:57 -04:00
Max Brunsfeld	717ebe6a4c	Don't cancel match updates when picker query changes ... The file finder often cancels an in-progress match task when the project updates. But it still needs to take the matches that it did find and add them to its results. So we should not cancel the entire task, as this will cause the partial results to be discarded.	2022-04-19 13:16:57 -07:00
Max Brunsfeld	47379677f2	Update file finder correctly when project files change	2022-04-19 13:10:36 -07:00
Max Brunsfeld	11eba96cb8	Allow toggling other modals from the command palette	2022-04-18 17:11:39 -07:00
Max Brunsfeld	3bbc021a7e	Use Picker in Outline view	2022-04-18 17:11:39 -07:00
Max Brunsfeld	20657566b3	Make all pickers respect mouse clicks	2022-04-18 17:11:39 -07:00
Max Brunsfeld	c7527f92a4	Use Picker in FileFinder	2022-04-18 17:11:39 -07:00
Max Brunsfeld	c75ffc583c	Use Picker in ProjectSymbolsView	2022-04-18 17:11:39 -07:00
Max Brunsfeld	7b16860806	Use Picker in ThemeSelector	2022-04-18 17:11:39 -07:00
Max Brunsfeld	7964464e3d	Rename SelectorModal -> Picker, put it in its own crate	2022-04-18 17:11:39 -07:00