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://jasonwoof.com/gitweb/?a=commitdiff_plain;h=9523233e257f72d07abdf3b07e5fd9ce0c7f31d0;hp=9523233e257f72d07abdf3b07e5fd9ce0c7f31d0;p=st.git Make CONTROL + DELETE delete a line If CONTROL + INSERT inserts a line then it seems natural CONTROL + DELETE removes a line. ---