Antonio Scandurra fd5cb02ea9 Truncate description in tab title when it is too long		2022-07-14 15:12:16 +02:00
..
buffer_search.rs	Start moving default settings into a JSON file	2022-07-12 11:00:02 -07:00
project_search.rs	Truncate description in tab title when it is too long	2022-07-14 15:12:16 +02:00
search.rs	Allow toggling search options via the command palette	2022-06-16 14:28:37 +02:00