Hans 2cfb1ffa77 add a setting to control show/hide terminal button for status bar (#10593) ... Release Notes: - Added a setting to show/hide the terminal button in the status bar: `{"terminal": {"button": false}}` to hide it. (#10513) --------- Co-authored-by: Thorsten Ball <mrnugget@gmail.com>		2024-04-16 09:40:32 +02:00
..
mappings	Fix assorted linux issues (#10061)	2024-04-01 17:22:59 -07:00
pty_info.rs	Windows: Enable clippy deny warnings (#9920)	2024-03-28 11:55:35 -04:00
terminal.rs	Add basic bash and Python tasks (#10548)	2024-04-15 16:07:21 +03:00
terminal_settings.rs	add a setting to control show/hide terminal button for status bar (#10593)	2024-04-16 09:40:32 +02:00