![]() Follow-up to #31542
This PR reduces the vertical padding in the file finders footer. We can
remove this padding as we already apply it just above
|
||
---|---|---|
.. | ||
file_finder.rs | ||
file_finder_settings.rs | ||
file_finder_tests.rs | ||
new_path_prompt.rs | ||
open_path_prompt.rs | ||
open_path_prompt_tests.rs |