diff dot_config/kitty/kitty.conf @ 338:890fe7d01f19

Use toggleterm as more robust terminal integration
author zegervdv <zegervdv@me.com>
date Fri, 22 Jan 2021 21:58:01 +0100
parents 6744d7605e8b
children a128f9c0f02e
line wrap: on
line diff