![]() Reverts zed-industries/zed#7481 This would regress performance because we'd be using the standard library's hash maps everywhere, so reverting for now. |
||
---|---|---|
.. | ||
mappings | ||
terminal.rs | ||
terminal_settings.rs |
![]() Reverts zed-industries/zed#7481 This would regress performance because we'd be using the standard library's hash maps everywhere, so reverting for now. |
||
---|---|---|
.. | ||
mappings | ||
terminal.rs | ||
terminal_settings.rs |