From: Roberto E. Vargas Caballero Date: Fri, 31 Jan 2014 13:18:25 +0000 (+0100) Subject: Make CONTROL + DELETE delete a line X-Git-Url: https://git.xinqibao.xyz/st.git/commitdiff_plain/9523233e257f72d07abdf3b07e5fd9ce0c7f31d0?hp=9523233e257f72d07abdf3b07e5fd9ce0c7f31d0 Make CONTROL + DELETE delete a line If CONTROL + INSERT inserts a line then it seems natural CONTROL + DELETE removes a line. ---