![]() ### Description Since [this PR](https://github.com/alacritty/alacritty/pull/7796) has been merged, so we can delete the `todo`s in `terminal` module. Release Notes: - N/A |
||
---|---|---|
.. | ||
mappings | ||
terminal.rs | ||
terminal_settings.rs |
![]() ### Description Since [this PR](https://github.com/alacritty/alacritty/pull/7796) has been merged, so we can delete the `todo`s in `terminal` module. Release Notes: - N/A |
||
---|---|---|
.. | ||
mappings | ||
terminal.rs | ||
terminal_settings.rs |