Aleksei Gusev d5fbf75ccf Add keyboard shortcuts for scrolling in terminal (#13508) ... Fixes #4917, #12231 Release Notes: - Added keyboard shortcuts for scrolling in terminal ([4917](https://github.com/zed-industries/zed/issues/4917), [12231](https://github.com/zed-industries/zed/issues/12231))		2024-06-28 10:26:14 +03:00
..
mappings	Fix terminal key bindings (#12558)	2024-06-03 11:25:27 -07:00
pty_info.rs	Don't iterate over all system processes (#11281)	2024-05-01 20:08:56 -06:00
terminal.rs	Add keyboard shortcuts for scrolling in terminal (#13508)	2024-06-28 10:26:14 +03:00
terminal_settings.rs	Allow UI font weight to be assigned in settings (#12333)	2024-05-26 23:06:58 -06:00