Julia 7d6690335f Merge pull request #1712 from zed-industries/dont-select-on-copy-by-default-terminal ... Don't select on copy by default in the terminal		2022-10-10 14:15:20 -04:00
..
mappings	Merge branch 'main' into terminal-hyperlinks	2022-09-22 23:06:07 -07:00
tests	Merge branch 'main' into terminal-hyperlinks	2022-09-22 23:06:07 -07:00
terminal.rs	Merge pull request #1712 from zed-industries/dont-select-on-copy-by-default-terminal	2022-10-10 14:15:20 -04:00
terminal_container_view.rs	Implemented cell for mouse pointer	2022-09-14 15:41:55 -07:00
terminal_element.rs	Merge pull request #1712 from zed-industries/dont-select-on-copy-by-default-terminal	2022-10-10 14:15:20 -04:00
terminal_view.rs	Added a SendKeystroke action and rewrote terminal actions to remove duplication	2022-09-26 20:39:40 -07:00